1{-# LANGUAGE GADTs #-}
2
3fun2 :: (a ~ b) => a -> b
4fun2 = id -- id
5
6