Some links to read
Type Of Types in Scala