ghc-exactprint-0.6.4: tests/examples/ghc90/Linear15.hs

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

correctWhere :: Int ⊸ Int
correctWhere a = g a
  where
    f :: Int ⊸ Int
    f x = x

    g :: Int ⊸ Int
    g x = f x