moving away from type checking