i have watched the videos in various intervals and times and seen a few KEEP references back to type-extensions and personally i keep coming back to kotlin's decisions for operator inflexibility as the inflexible inconvenience. i have a littany of gripes about kotlin but i like where Arrow seems to be pushing. the end-game appears to be that Arrow emulates things from Ocaml and haskell to whatever degree the youtube speaker wants to pepper those names in; but is there any work on a functional preprocessor like erlang's "Elixir" ?