testsuite/tests/ado/T15344.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE ApplicativeDo #-}

f :: Maybe (Maybe Int) -> Maybe Int -> Maybe Int
f mgs mid = do
    _ <- mid
    (Just moi) <- mgs
    pure (moi + 42)

main :: IO ()
main = print (f (Just Nothing) (Just 2))