Make several type signatures more permissive of downstream `Extra` st…#162

Closed

aweinstock314 wants to merge 2 commits intoalexheretic:mainfrom aweinstock314:extra-type-parameters

+18-13

Commits on Feb 21, 2023