Re: [Haskell-cafe] Can Haskell enforce the dimension?