testsuite/tests/ado/T11607.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE ApplicativeDo #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}

newtype MaybeA a = MaybeA (Maybe a)
                 deriving (Show, Functor, Applicative)

main :: IO ()
main = print $ do
    x <- MaybeA $ Just 42
    pure x