Possible bug in remote-data-io.ts

[gcanti]

I think I found a bug while trying to upgrade this library to fp-ts@2

Here

JSONProgress.encode outputs a { loaded: number; total: number | null; } | null but should be a RemoteProgress | null and RemoteProgress is defined as

export type RemoteProgress = {
  loaded: number;
  total: Option<number>;
};

Repro

• install io-ts-types@latest
• open src/remote-data-io.ts in VSCode or try to compile the project, shouldn't type check

[raveclassic]

Thanks @gcanti
Yeah, this is because JSONRemoteData refers to RemoteProgress which uses Option in total field. Looks like this result in an error with latest io-ts-types. I'll fix it and release a minor with updated versions of all related libs.