ghc-exactprint-1.9.0.0: tests/examples/pre-ghc910/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