blob: 7f025e0a0f7f5a7bad7291cfb866c8622b87c99c (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE LinearTypes #-}
{-# LANGUAGE UnicodeSyntax #-}
{-# LANGUAGE LambdaCase, GADTs #-}
module Linear4 where
correctCase :: Bool ⊸ a ⊸ a
correctCase x n =
case x of
True -> n
False -> n
|