Advanced FFI with Generics

Implement complex data exchanges across language boundaries using generic type markers.