Suggested by @michaelpilquist, E.g., given an `Applicative[Foo]`, `Foo.type` is automatically enriched with `pure`.