1 2 3 4 5 6
{-# LANGUAGE OverloadedRecordDot, ExplicitForAll #-} identity :: forall a. a -> a identity a = a main = undefined