Export Fay type and thunk forcing of polymorphic types used with the FFI.