ex1 = printO ((observe "lista" :: Observing [Int]) [1..9])
-- lista 1 : 2 : 3 : 4 : 5 : 6 : 7 : 8 : 9 : []
ex2 = runO (print x) where x = sum . observe "após map" . map (*2) $ [1..5::Int]
-- após map 2 : 4 : 6 : 8 : 10 : []