module Issue453 where

postulate
  A     : Set
  fails : {x : _} → A