`Bottom?` depends on `Type/c` since it depends on the definition of `Union` and the filters depend on `Type/c` in addition to the other two. I'll change the comment to just say to find a non-lazy require solution instead of saying units.