{-# LANGUAGE LinearTypes #-}

f = id :: a %(m n) -> a