[frollogaston]

When you have types, you end up having to look up what every type means anyway because the names are meaningless.