Counting objects up to isomorphism: groupoid cardinality | Hacker News Reader