TotalFunction, TotalInjection, TotalSurjection and TotalBijection are
not basic types anymore.