ghc-exactprint-1.9.0.0: tests/examples/pre-ghc910/Linear4.hs

{-# LANGUAGE LinearTypes #-}
{-# LANGUAGE UnicodeSyntax #-}
{-# LANGUAGE LambdaCase, GADTs #-}
module Linear4 where

correctCase :: Bool ⊸ a ⊸ a
correctCase x n =
  case x of
    True -> n
    False -> n