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

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.