Type inference improvements are necessary for parts of this package to work well, so we may as well make it official.
Type inference improvements are necessary for parts of this package to work well, so we may as well make it official.