Seems that some TypeInfo instances are not exported :/ Likely will need to rethink the way type-system is done.