module LinearNoExt where

type T a = a %1 -> a