bug/t.icl

   1 module t
   2
   3 import Data.Maybe, Control.Monad
   4
   5 //f :: Maybe (Maybe a)
   6 //f = return Nothing >>= return
   7 //
   8 f :: Maybe (Maybe a)
   9 f = return Nothing >>= \x->return x
  10
  11
  12
  13 Start = ()