but Try, Either, etc can't because their construct...
# arrow
r
but Try, Either, etc can't because their constructors expect
A
instead of
() -> A