{-# LANGUAGE ExplicitNamespaces #-} {-# LANGUAGE PatternSynonyms #-} import Test ( type (++) , (++) , pattern (:.) , pattern Foo )