Types, a map and a floating cube