it would be nice if there were a safe FFI between two safe languages, rather than interfacing everything via C.

it would even nicer if the types of one language could be reflected soundly in the type system of the second.

it would nicest if it worked for more than three types.