IdMonadNat

FoldImplicits

into

Fold