@hackage / star-to-star

the * -> * types, operators, and covariant instances.