{-# OPTIONS_GHC -fno-do-lambda-eta-expansion #-} module Test where imp1, imp2 :: Int -> Int -> Int imp1 0 y = 0 imp1 x y = x * y {-# NOINLINE imp1 #-} imp2 0 = \_ -> 0 imp2 x = \y -> x * y {-# NOINLINE imp2 #-}