{-# LANGUAGE RecursiveDo #-}

foo = do
  rec a <- b + 5

      let d = c

      b <- a * 5

      something

      c <- a + b
  print c
  rec something $ do
        x <- a
        print x

        y <- c
        print y