Why do we need this? What's wrong with good old "there are n ways to pick first element, n-1 ways to pick second, etc and then apply burnside to glue together things that we treat as identical"?