(I realize this is a breaking change, but I find the cognitive load of having to remember things my typechecker can't to be frustrating.)