1{-# LANGUAGE GADTs #-}
2
3data Y a b = a ~ b => Y
4
5fun3 :: Y a b -> a -> b
6fun3 Y = id
7
8