import overloadings whenever there is a Ops class

src/EitherT.ts

@@ -7,6 +7,7 @@ import { Either, URI as URIEither } from './Either'
 import * as either from './Either'
 import { Option } from './Option'
 import { Applicative } from './Applicative'
+import './overloadings'
 
 export interface EitherT<M> extends ApplicativeComposition<M, URIEither> {
   chain<L, A, B>(f: (a: A) => HKT<M, Either<L, B>>, fa: HKT<M, Either<L, A>>): HKT<M, Either<L, B>>

src/Filterable.ts

@@ -3,6 +3,7 @@ import { Functor } from './Functor'
 import { Either, fromPredicate, left, right } from './Either'
 import { Option, fromPredicate as optionFromPredicate } from './Option'
 import { Predicate, identity } from './function'
+import './overloadings'
 
 export interface Filterable<F> extends Functor<F> {
   /** partition a data structure based on an either predicate */

src/Free.ts

@@ -5,6 +5,7 @@ import { HKT } from './HKT'
 import { FantasyMonad, Monad } from './Monad'
 import { NaturalTransformation } from './NaturalTransformation'
 import { toString } from './function'
+import './overloadings'
 
 export const URI = 'Free'
 

src/OptionT.ts

@@ -6,6 +6,7 @@ import { Applicative, getApplicativeComposition, ApplicativeComposition } from '
 import { Option, URI as OptionURI } from './Option'
 import * as option from './Option'
 import { Lazy } from './function'
+import './overloadings'
 
 export interface OptionT<M> extends ApplicativeComposition<M, OptionURI> {
   chain<A, B>(f: (a: A) => HKT<M, Option<B>>, fa: HKT<M, Option<A>>): HKT<M, Option<B>>

src/ReaderT.ts

@@ -3,6 +3,7 @@ import { Applicative } from './Applicative'
 import { Chain } from './Chain'
 import { Monad } from './Monad'
 import { Kleisli } from './function'
+import './overloadings'
 
 export interface ReaderT<M> {
   map<E, A, B>(f: (a: A) => B, fa: Kleisli<M, E, A>): Kleisli<M, E, B>

src/StateT.ts

@@ -3,6 +3,7 @@ import { Applicative } from './Applicative'
 import { Chain } from './Chain'
 import { Monad } from './Monad'
 import { Kleisli, Endomorphism, tuple } from './function'
+import './overloadings'
 
 export interface StateT<M> {
   map<S, A, B>(f: (a: A) => B, fa: Kleisli<M, S, [A, S]>): Kleisli<M, S, [B, S]>

src/Store.ts

@@ -2,6 +2,7 @@ import { HKT } from './HKT'
 import { Comonad, FantasyComonad } from './Comonad'
 import { Functor } from './Functor'
 import { Endomorphism, toString } from './function'
+import './overloadings'
 
 export const URI = 'Store'
 

src/StrMap.ts

@@ -9,6 +9,7 @@ import { liftA2 } from './Apply'
 import { Setoid } from './Setoid'
 import { Option, none, some } from './Option'
 import { Unfoldable } from './Unfoldable'
+import './overloadings'
 
 // https://github.com/purescript/purescript-maps
 

src/These.ts

@@ -8,6 +8,7 @@ import { Option, none, some } from './Option'
 import { Setoid } from './Setoid'
 import { Semigroup } from './Semigroup'
 import { constFalse, toString } from './function'
+import './overloadings'
 
 // Data type isomorphic to `α ∨ β ∨ (α ∧ β)`
 // adapted from https://github.com/purescript-contrib/purescript-these

src/Witherable.ts

@@ -4,6 +4,7 @@ import { Filterable } from './Filterable'
 import { Applicative } from './Applicative'
 import { Either, left, right } from './Either'
 import { Option } from './Option'
+import './overloadings'
 
 export type Wilt<T, L, R> = {
   left: HKT<T, L>