clever-lang/clever — comment on commit 5cd7ddba621001da9bd9a91b83327c280aea4ca7
File: compiler/typechecker.cc line 300
By muriloadriano:

@felipensp we need to care about these todos... Here is supposed to retrieve the types of a list.
We can use the getNumArgs() method to know how much template args the type accepts.