Telefona gönder: Patterns in Datatype−Generic Programming