Haskell-like language -> Obj-C Prototype