3 ms·+1 for the link, but I don't think type level programming should be an introduction to Haskell at all!by exdsq 5y ago+1 for the link, but I don't think type level programming should be an introduction to Haskell at all!