"3 -> |g -> f|t -> id" . . . . .