Just 1 >> Nothing >> Just 3
      => Nothing

    Just 1 >> Just 2 >> Just 3
      => Just 3

To answer your last question, yes. It basically adds short-circuiting.