Example: https://hackage.haskell.org/package/int-cast-0.2.0.0/docs/Data-IntCast.html
Blog: https://lexi-lambda.github.io/blog/2021/03/25/an-introduction-to-typeclass-metaprogramming/
Type Families
This work is licensed under a Creative Commons Attribution 4.0 International License