1{-# LANGUAGE GADTs #-} 2 3data Z a b where Z :: Z a a 4 5fun4 :: Z a b -> a -> b 6fun4 Z = _ -- id 7 8