Who compiled these typings? It is not especially advisable to do such an activity at the level of subtypes, particularly with no record of how it was put together.