(It also turns out I accidentally implemented the ...

# arrow

[Derek Berner]

(It also turns out I accidentally implemented the Free monad in Elm one time because their `Cmd`s were frustratingly not monadic...)

[raulraja]

You can also do this with tagless algebras and a much faster runtime