{- rec -}
foof a b = a == b
expr a b c d
- = ((((((((a + (: a b)) + (a : b))
- + (((1 - 'c') - "abc") - 1.2929999999999999))
+ = ((((((((a + (: a b)) + (a : b)) + (((1 - 'c') - "abc") - 1.293))
+ ((\ x y z -> x) 42))
+ ((9 *)))
+ ((* 8)))
in
(((((((y + [1, 2, 3, 4]) + (4, 3, 2, 1))
+ (4 :: _forall_ [] (Num a) => a))
- + (if 42 == 42.000000000000000 then 1 else 4))
+ + (if 42 == 42.0 then 1 else 4))
+ ([1 .. ]))
+ ([2, 4 .. ]))
+ ([3 .. 5]))
f _
x
1
- 1.9299999999999999
+ 1.93
'c'
"dog"
~y