Robuta

https://www.fssnip.net/tags/higher-kinded+types Tagged higher-kinded types | F# Snippets tagged higher types f snippets https://mail.haskell.org/pipermail/ghc-commits/2016-April/019313.html [commit: packages/deepseq] master: Make NFData (Proxy a) instance poly-kinded (0ada5dd)