Yeah, I know about SAM support. But that will only happen if the type is known, and type-annotating every short {} is a pretty big price. Or can I do something like:
myKleisli >=> {a => Option(a.toString)}