unapply

proveShapeOf