import { Applicative, Traversable } from '../ramda/dist/src/$types';
import * as R_sequence from '../ramda/dist/src/sequence';

declare const any_applicative: Applicative<any>;
declare const number_applicative: Applicative<number>;
declare const any_applicative_traverable: Traversable<Applicative<any>>;

R_sequence(number_applicative.of, [number_applicative]);
// @dts-jest:pass
R_sequence(any_applicative.of, [any_applicative]);
// @dts-jest:pass
R_sequence<number>(any_applicative.of, [any_applicative]);

// @dts-jest:pass
R_sequence(number_applicative.of, any_applicative_traverable);
// @dts-jest:pass
R_sequence(any_applicative.of, any_applicative_traverable);
// @dts-jest:pass
R_sequence<number>(any_applicative.of, any_applicative_traverable);
// @dts-jest:pass