which implements the algebra of `ask`, etc so oth...

# arrow-contributors

[raulraja]

which implements the algebra of ask, etc so other data types like Function0 etc are also capable