Pātuhitia tēnei: Varieties of constructive mathematics /