class Defer (p :: Constraint) where
  defer :: (p => r) -> r
  {-# MINIMAL defer #-}
  	-- Defined at <interactive>:5:1
instance [safe] Defer (() :: Constraint)
  -- Defined at <interactive>:6:10