codes in the 1st functional language Haskell