Pātuhitia tēnei: Varieties of constructive mathematics