Basically making an OO DSL inside Haskell. It's a cool idea, but there have to be nicer looking ways to do it right?