{-# LANGUAGE TypeOperators #-}

type a :-> t = a