Slides/monad.md: poprawiony typ tick