Calculating type sets is harder than you think
blog.merovius.de