1{-# LANGUAGE GADTs #-}
2
3data X f = Monad f => X
4
5fun1 :: X f -> a -> f a
6fun1 X = _
7
8