Typescript is very powerful in terms of type checking, but sometimes it gets tedious when some types are subsets of other types and you…