T6060.hs:5:10: [GHC-55814]
    The last statement in a 'do' block must be an expression
      let bad = [True | x <- [] |  y <- []]