import "Prelude"

f n = do
  a = n+1
  \x -> a + x

main = [atan2 1==atan2 1, atan2 1==atan2 2, f 1==f 1, f 1==f 2]
--
[true, false, true, false]