{-# LANGUAGE TypeOperators #-}
module Main (main) where
 
type T (~>) = ()
 
type Foo = ()