optimizeApp e =
  case e of
    (Apply (Apply (Variable (Identifier "_"))
                  [(Apply (Apply (Variable (Identifier "base$GHC$Base$zgzg"))
                                 [Variable (Identifier "base$GHC$Base$zdfMonadIO")])
                                 [a])])
                  [b]) -> return $ Sequence [act a,b]
    e -> return e
optimizeApp e =
  case e of
    (Apply (Apply (Variable (Identifier "_"))
                  [(Apply (Apply (Variable (Identifier "base$GHC$Base$zgzg"))
                                 [Variable (Identifier "base$GHC$Base$zdfMonadIO")])
                                 [a])])
                  [b]) -> return $ Sequence [act a,b]
    e -> return e
optimizeApp e =
  case e of
    (Apply (Apply (Variable (Identifier "_"))
                  [(Apply (Apply (Variable (Identifier "base$GHC$Base$zgzg"))
                                 [Variable (Identifier "base$GHC$Base$zdfMonadIO")])
                                 [a])])
                  [b]) -> return $ Sequence [act a,b]
    e -> return e