message: fix contravariant signature
diff: @@ -39,39 +39,39 @@ import {
  * comparing those.
  */
  export interface Contravariant<F> extends HasURI<F> {
  - readonly contramap: <A, B>(f: (a: B) => A) => { (fa: HKT<F, B>): HKT<F, B> }
  + readonly contramap: <A, B>(f: (a: B) => A) => (fa: HKT<F, A>) => HKT<F, B>
  }
  export interface Contravariant1<F extends URIS> extends HasURI<F> {
  - readonly contramap: <A, B>(f: (a: B) => A) => { (fa: Kind<F, A>): Kind<F, B> }
  + readonly contramap: <A, B>(f: (a: B) => A) => (fa: Kind<F, A>) => Kind<F, B>
  }
  export interface Contravariant2<F extends URIS2> extends HasURI<F> {
  readonly contramap: <A, B>(
  f: (a: B) => A
  - ) => { <E>(fa: Kind2<F, E, A>): Kind2<F, E, B> }
  + ) => <E>(fa: Kind2<F, E, A>) => Kind2<F, E, B>
  }
  export interface Contravariant3<F extends URIS3> extends HasURI<F> {
  readonly contramap: <A, B>(
  f: (a: B) => A
  - ) => { <R, E>(fa: Kind3<F, R, E, A>): Kind3<F, R, E, B> }
  + ) => <R, E>(fa: Kind3<F, R, E, A>) => Kind3<F, R, E, B>
  }
  export interface Contravariant4<F extends URIS4> extends HasURI<F> {
  readonly contramap: <A, B>(
  f: (a: B) => A
  - ) => { <S, R, E>(fa: Kind4<F, S, R, E, A>): Kind4<F, S, R, E, B> }
  + ) => <S, R, E>(fa: Kind4<F, S, R, E, A>) => Kind4<F, S, R, E, B>
  }
  export interface Contravariant5<F extends URIS5> extends HasURI<F> {
  readonly contramap: <A, B>(
  f: (a: B) => A
  - ) => { <X, S, R, E>(fa: Kind5<F, X, S, R, E, A>): Kind5<F, X, S, R, E, B> }
  + ) => <X, S, R, E>(fa: Kind5<F, X, S, R, E, A>) => Kind5<F, X, S, R, E, B>
  }
  export interface Contravariant6<F extends URIS6> extends HasURI<F> {
  readonly contramap: <A, B>(
  f: (a: B) => A
  - ) => { <Y, X, S, R, E>(fa: Kind6<F, Y, X, S, R, E, A>): Kind6<F, Y, X, S, R, E, B> }
  + ) => <Y, X, S, R, E>(fa: Kind6<F, Y, X, S, R, E, A>) => Kind6<F, Y, X, S, R, E, B>
  }
  