{-# LANGUAGE LinearTypes #-}
{-# LANGUAGE UnicodeSyntax #-}
module Linear6 where

correctEqn :: Bool ⊸ Int ⊸ Int
correctEqn True  n = n
correctEqn False n = n