Haskell implementation of some interprets from "Types and Programming Languages" by Benjamin C. Pierce