How does Opa compare to Urweb? Both seem to have an ML-style influence http://www.impredicative.com/ur/