pub fn sum_with_error(ty: impl Into<TypeRowRV>) -> SumType
Return a Sum type with the second variant as the given type and the first an Error.