{-# LANGUAGE LinearTypes, KindSignatures #-}
module LinearKind where

data A :: * %1 -> *