type a `MySynonym` b = a -> b