Drop dependency on tagged

The library now depends only on base. If the kind of the tag is `*` as in the semigroup example, we could use `Nothing` or something like that instead of `Proxy` to remove the dependency also in the call site.