Parsing type-level strings in Haskell

A technique for manipulating Symbols in GHC for type-level programming.

blog.csongor.co.uk