Make the types explicit. This way, we can actually do useful stuff with them (like sanity checks, d'oh).