Monad instances in haxe.