TypeChecker works for Params