pub type TypeEntry<M> = Entry<Type<M>, M>;