[Haskell-cafe] dependent types, singleton types....

[Richard Eisenberg]

On Apr 29, 2015, at 8:54 AM, "Nicholls, Mark" <nicholls.mark at vimn.com> wrote:

> Accchhhh
> 
> Thats another level of pain

It is, unfortunately.

> , i'm not a big haskeller so i'll have to wrestle with it to get all the knobs and dials working, leave it with me for the moment and i'll start wrestling with cabal

You won't need cabal and such. Just say `data family Sing (a :: k)` in your file and you'll have the definition. There's really nothing more to it than that!

Richard