На гриб можно смотреть как на кортеж, например пара (шляпка, ножка). И она вполне себе является функтором, причем можно сделать как по первому аргументу (маппим ножки), так и по второму (маппим шляпки). Не уверен правда что так понятнее будет
поем, подумаю, пока пара - сложно, проще с одного чего-то, например ножки или шляпки