testsuite/tests/ghci/scripts/T12005.script


1
2
3
4
5
6
7
8

:set -XKindSignatures -XRank2Types -XConstraintKinds -XAllowAmbiguousTypes

import Data.Kind

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

:i Defer