import Functor from '../Functor'; export * as Functor from '../Functor'; import Foldable from '../Foldable'; export * as Foldable from '../Foldable'; import { Applicative, ApplicativeTypeRep } from "../Applicative"; export * as Applicative from "../Applicative"; export interface Traversable extends Functor, Foldable { traverse(TypeRep: ApplicativeTypeRep>, fn: (a: A) => Applicative): Applicative>; } export default Traversable;