This library provides functions that perform type arithemtic over the type system of java5. for example, you can compute that list is a sub-type of collection but not collection