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