Cubical First Class