1 {-# OPTIONS_GHC -XModalTypes -dcore-lint -XScopedTypeVariables -ddump-types #-}
2 module Demo (demo, demo2) where
4 demo z = <{ \y -> ~~z }>
6 demo2 :: <[ (a,b) ~~> c ]>@d -> <[ () ~~> a ]>@d -> <[ b ~~>c ]>@d
7 demo2 x y = <{ ~~x ~~y }>
9 demo3 x y z q = <{ ~~q (~~x ~~y ~~z) }>