generated at
Kind Polymorphism
https://dev.to/jvanbruegge/what-the-heck-is-polymorphism-nmh?utm_source=pocket_saves#:~:text=to%20Haskell.-,Kind%20polymorphism,-Kinds%20are%20sort