blob: 5e4b70ca6ea2a534569b26b75d23ebf9682f6c85 (
plain)
1
2
3
4
5
6
7
|
type Defer :: Constraint -> Constraint
class Defer p where
defer :: (p => r) -> r
{-# MINIMAL defer #-}
-- Defined at <interactive>:5:1
instance [safe] Defer (() :: Constraint)
-- Defined at <interactive>:6:10
|