Comment by pshirshov

Cool. I didn't find in the docs how do I make higher-kinded types and typeclasses there?.. Could you give me a hint?