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