@zeri A side effect that code can have without even being run! 🤯 (Not sure how to represent that in the type system. Maybe not even monads are sufficient for that.)

@philipp @maralorn