Good stuff, but doesn't Hack language also solve this need? I'd guess a more likely route is PHP shops switching to Hack than to Haskell.