add comments about type signature