Foldable instance