Should these typedefs be public?