class ConsCube (mode :: Symbol) (c1 :: Symbol) (c2 :: Symbol) (c3 :: Symbol) (c4 :: Symbol) (c5 :: Symbol) (c6 :: Symbol) (c7 :: Symbol) (c8 :: Symbol) (c9 :: Symbol) (c10 :: Symbol) (c11 :: Symbol) (c12 :: Symbol) (c13 :: Symbol) (c14 :: Symbol) (c15 :: Symbol) (c16 :: Symbol) (c17 :: Symbol) (c18 :: Symbol) (c19 :: Symbol) (c20 :: Symbol) (c21 :: Symbol) (c22 :: Symbol) (c23 :: Symbol) (c24 :: S
![PureScriptの型レベル計算でルービックキューブ(2×2×2)を解く - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/560988dcd6d30a38856309a864206bfdf054b396/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-9f5428127621718a910c8b63951390ad.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTkxNiZoPTMzNiZ0eHQ9UHVyZVNjcmlwdCVFMyU4MSVBRSVFNSU5RSU4QiVFMyU4MyVBQyVFMyU4MyU5OSVFMyU4MyVBQiVFOCVBOCU4OCVFNyVBRSU5NyVFMyU4MSVBNyVFMyU4MyVBQiVFMyU4MyVCQyVFMyU4MyU5MyVFMyU4MyU4MyVFMyU4MiVBRiVFMyU4MiVBRCVFMyU4MyVBNSVFMyU4MyVCQyVFMyU4MyU5NiVFRiVCQyU4ODIlQzMlOTcyJUMzJTk3MiVFRiVCQyU4OSVFMyU4MiU5MiVFOCVBNyVBMyVFMyU4MSU4RiZ0eHQtY29sb3I9JTIzMjEyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTU2JnR4dC1jbGlwPWVsbGlwc2lzJnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnM9MzZhZWVlMTZiMmEwNzAxZWU5YWZkZjBjMzFkNDAzYTI%26mark-x%3D142%26mark-y%3D112%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTcxNiZ0eHQ9JTQwbWF0b3J1cnUmdHh0LWNvbG9yPSUyMzIxMjEyMSZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT0zMiZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZzPTBkY2VkN2JhNzI4YmM4NDJjMGQxM2Q5YmRiMmM3NWMx%26blend-x%3D142%26blend-y%3D491%26blend-mode%3Dnormal%26s%3D242f541088b74f08b61ad58b43d4d589)