Add Foner-style "evaluate" comonad fixed point