Faking with Type Families
typeclasses.substack.com