confirm provide specified
refactor
instanceOf exactlyA implemented
Converting to use types