``` fun foo(): Option<Int> = Option.fx { ......
# arrow
r
Copy code
fun foo(): Option<Int> = Option.fx { ... } // concrete
fun Concurrent<F>.program() = fx.concurrent { .. } // polymorphic over all F