Thanks! I don't know which language extensions are compatible with which. I doubt any other compiler has the `TypeFamilies` extension. It's much more sophisticated than extensions like `CPP`.