fourmolu-0.0.6.0: data/examples/declaration/value/function/lambda-multi-line1.hs

foo :: a -> a -> a
foo x = \y ->
  x

bar :: Int -> Int -> Int
bar x = \y ->
  if x > y
    then 10
    else 12

foo =
  prop "is inverse to closure" $ \(f :: StaticPtr (Int -> Int))
  (x :: Int) ->
      (unclosure . closure) f x == deRefStaticPtr f x