List monad in action

list-monad.hs

{- монада это необязательно последовательное исполнение -}

import Control.Monad

newlist ∷ [(Int, Int)]
newlist =
   do x <- [1..3]
      y <- [11..12]
      guard $ x + y > 13
      return (x, y)
   
-- newlist will be  [(2,12),(3,11),(3,12)]