Folding with monoinds and a typo