type classes

export interface IxPointed3<F extends URIS3> {
  readonly URI: F
  readonly ixof: <I, A>(a: A) => Kind3<F, I, I, A>
}

export interface IxPointed4<F extends URIS4> {
  readonly URI: F
  readonly ixof: <I, E, A>(a: A) => Kind4<F, I, I, E, A>
}