Cubical Type Theory Psychology