> Taking the idea a bit further, perhaps it would be nice to have the type > be 'a pointer, with FFI allowed for any 'a. I don't see any reason why a programmer couldn't do this himself. type 'a pointer = MLton.pointer