Type constructors and kinds



[2] ignoring reverse compatibility where List is equivalent to List<?>