NT, Monad, Id, Free#foldMap, F1#andThen
wip