Type out the types