WE DONT NEED NO ODIFEROUSLY PUNGENT DTYPES
I mean actually we totally do, but we can pretend when they come from one of our own,
as it were, it is OK