HoTT for Cools
