[Haskell-cafe] May I have some examples on Kinds and Data.Type.Equality?

[Magicloud Magiclouds]

Hi,

  I am trying to learn some advanced stuff of Haskell. But haskell wiki
seems only giving some concepts and so.

  May I have some code example? Also other documents are welcomed.

  Thanks.

-- 
竹密岂妨流水过
山高哪阻野云飞

And for G+, please use magiclouds#gmail.com.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20150106/f34b4b01/attachment.html>