`.bind` inside `binding {}` just delegates to `fla...

# arrow

[raulraja]

.bind inside binding {} just delegates to flatMap so it's the same as in for comprehensions in scala. You do bind everytime you want to compute imperatively top down in monadic sequence. .ev() is just a safe downcast to bring it down from the HigherKind representation for example HK<OptionHK, A> to Option<A>