lab-monad1.md: poprawiony typ tick