Unfoldable instance