make type of `Nothing` agree with spec