Checking types here is not safe, because multiple types can map to the same