This is both a partial Prelude that conflicts with the real one, and a way to guard against the Prelude's partial functions.