testsuite/tests/ghci/scripts/T12005.script


1
2
3
4
5
6
7
8

:set -XKindSignatures -XRank2Types -XConstraintKinds -XAllowAmbiguousTypes -XInstanceSigs

import Data.Kind

class Defer (p :: Constraint) where defer :: (p => r) -> r
instance Defer () where defer :: r -> r; defer = id

:i Defer