And the encoding of `State/StateT` through typeali...
# arrow
s
And the encoding of
State/StateT
through typealiasing is a lot less pleasant than in Scala