FunctionType.args now is a List[Type]