Relying more safely on one and only type