{-# LANGUAGE OverloadedRecordDot, ExplicitForAll #-}

identity :: forall a. a -> a
identity a = a

main = undefined