You can now use type functions in FFI types. Newtypes are now only looked through if the constructor is in scope.