Open classes, protocols, typeclasses.