module Issue1148 where

foo : Set → Set
foo = {!!}