b :: [Int]
b =
    1
        : do
            2
        : do
            3
        : do
            [4]