1{-# LANGUAGE ExplicitNamespaces #-} 2{-# LANGUAGE TypeOperators #-} 3module Foo (type (:-)) where 4 5data (:-) = Foo 6