Over and implicit arguments for TypeChecking