Bob Glamm
05/23/2019, 2:41 PMval r: (Kind<ForOption, Int>, Kind<ForOption, Int>, (Tuple2<Int, Int>) -> String) -> Kind<ForOption, String> = Option.applicative()::map
val s = r.curried()
val t =
{ o1: Kind<ForOption, Int>, o2: Kind<ForOption, Int> ->
s(o1)(o2)() { (a, b): Tuple2<Int, Int> -> "$a $b" } }