(TopFace b2 f2 b3 f3) +++ (BottomFace b1 f1 b4 f4) = 
  CubePoints {f1=f1, f2=f2, f3=f3, f4=f4, b1=b1, b2=b2, b3=b3, b4=b4}
(TopFace b2 f2 b3 f3) +++ (BottomFace b1 f1 b4 f4) = 
  CubePoints {f1=f1, f2=f2, f3=f3, f4=f4, b1=b1, b2=b2, b3=b3, b4=b4}
(TopFace b2 f2 b3 f3) +++ (BottomFace b1 f1 b4 f4) = 
  CubePoints {f1=f1, f2=f2, f3=f3, f4=f4, b1=b1, b2=b2, b3=b3, b4=b4}