Base · base.bend:869
import Base
869def Result.pure(a, b, -E: Kind(a), -A: Kind(b), x: A) -> Result<a, b, E, A>: 870 Done{x}