{-# LANGUAGE LinearTypes #-}
module LinearVar where

f :: a %m -> b
f = undefined :: a -> b