Use types rather than typeclasses.