Typeclasses write code for you.