'foldable' by xose

Notes on foldable by xose