HoTT playground