[F] added cutoff for church-encoded free monad
[cutoff] accept negative n