An all day slog, but brought contain oneOf syntax into the type checked world, though
not the collected ones yet.