1 2 3 4 5 6
{-# LANGUAGE ExplicitForAll #-} module ShouldCompile where identity :: forall a. a -> a identity x = x