Add basics of #170 intermediate in Haskell