6 ms·
That compiles though. You need to CPS the constraint as in my example above. This does the job: type Test (c :: Constraint) = forall a. (c => a) -> a
by tome 5y ago
That compiles though. You need to CPS the constraint as in my example above. This does the job:
type Test (c :: Constraint) = forall a. (c => a) -> a
testTheObvious :: Test ((2 + 2) ~ 5)
testTheObvious = id