>272
typo

f|→(y|→g[y])