module t

import Data.Maybe, Control.Monad

//f :: Maybe (Maybe a)
//f = return Nothing >>= return
//
f :: Maybe (Maybe a)
f = return Nothing >>= \x->return x



Start = ()