How do you express the following Haskell 98 type in Reason?
data Free f a = Pure a | Join (f (Free f a))
If you limit yourself to types that are easily expressible in both ML ans Haskell, you can do the syntax conversion with sed. ;)
Ok, seriously, is the real problem it’s solving is that popular ppx_deriving plugins for JSON serializer generation don’t work with BuckleScript?