some haskell / chruch numbers