Should be filled out. For now, take a link to the typeclassopedia