Dart monad [WIP]

monad.dart

abstract class Monad<T> {
  abstract MonadInstance<U> bind<U>(FutureOr<Monad<U>> Function(T) f);
  abstract MonadInstance<T> wrap(T value);
}

abstract class EitherMonad<L, R> extends Monad<Either<L, R>> {
  static EitherMonad<L, Exception> wrapTryCatch<L>(FutureOr<L> Function() f);

  abstract EitherMonad<U, R> bindLeft(FutureOr<U> Function(L) f);
  abstract EitherMonad<L, U> bindRight(FutureOr<U> Function(R) f);
}

class IOMonad<T> extends EitherMonad<T, IOException> {
  // final EitherMonad<T, IOException>
  IOMonad();
}

main() async {
}