Learnt Monoids, Foldable