Higher-kinded data via generics. Contribute to i-am-tom/higgledy development by creating an account on GitHub.

An introduction to generics and higher-kinded data with me!

This stream focuses on the internals of github.com/i-am-tom/higgledy, and how they're derived.

In this stream, we write a function to convert types into their HKD-style representations.
(We briefly start on a function to do the same for values, but we'll return to this next time)

Find a gist here: https://gist.github.com/i-am-tom/b43f788eda022dddc15de3a06c7a1b29