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