1{-# LANGUAGE TypeOperators #-}
2
3type T (~>) = ()
4
5type Foo = ()
6