Language Study with Haskell