plain haskell code + type level code (:type solutions (u::Cubes) gives infinite loop for now)
Merge branch 'master' of github.com:MasseGuillaume/TypeLevelInstantInsanity