Added `contravariant` dependency, `contramapped`, and `Wrapped` instances