Am 27.07.19 um 18:58 schrieb Johannes Loher: > The solution is to make the return types the same, but this prevents us > from using the error notation for lambdas, which is kind of annoying: This should read: "[...] prevents us from using the _arrow_ notation [...]".