formatter: defined at/implicit information
Id#toString