{-# LANGUAGE RankNTypes #-}
type MySynonym = forall a . [a]