Cannot compose Either

[benner]

Playing with library and and got confused.

Code:

from pymonad.either import Left, Right
from pymonad.reader import Compose

def check(x):
    if x < 0:
        return Left("cannot be negative")

    return Right(x)

def add5(x):
    return Right(x + 5)

def mul3(x):
    return Right(x * 2)

right_path=check(5).then(check).then(add5).then(mul3)
print(right_path)

left_path=check(-5).then(check).then(add5).then(mul3)
print(left_path)

f=Compose(check).then(add5).then(mul3)
print(f(-5))

Firs two prints works as expected:

Right 20
Left cannot be negative

but last one gives error:

..
.. line 11, in add5
    return Right(x + 5)
TypeError: unsupported operand type(s) for +: 'Either' and 'int'

Is this expected?

[vreuter]

@benner IIRC it's correct / expected, as then is designed to be "smarter" in a sense (at least, more functionally flexible), while Compose is meant to do pure function composition (i.e., not unwrapping the result of a previous monadic computation before passing it to the next chained function).

At least, that's what the then function's documentation on the either page, in conjunction with the description of Compose in the reader doc suggest to me. I'm new to the library, though, so take w/ grain of salt.