A package providing type-class implentations such as monad and traversable to the native type promise.