module T where

f :: X -> Y
f = id