{-# LANGUAGE UnicodeSyntax #-}
module LinearNoExtU where

type T a = a ⊸ a