DPTrans [(Fun (Sharp "a") [Fun (Plain "a") [Fun (Plain "a") [Var "x"]]],Fun (Sharp "b") [Fun (Plain "a") [Var "x"]]), (Fun (Sharp "a") [Fun (Plain "a") [Fun (Plain "a") [Var "x"]]],Fun (Sharp "b") [Fun (Plain "b") [Fun (Plain "a") [Var "x"]]]), (Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "a") [Var "x"]]],Fun (Sharp "b") [Fun (Plain "b") [Fun (Plain "a") [Var "x"]]]), (Fun (Sharp "b") [Fun (Plain "a") [Fun (Plain "b") [Var "x"]]],Fun (Sharp "a") [Fun (Plain "a") [Fun (Plain "b") [Var "x"]]])] (DepGraphProc [(Just ((DepGraphProc [])),[(Fun (Sharp "a") [Fun (Plain "a") [Fun (Plain "a") [Var "x"]]],Fun (Sharp "b") [Fun (Plain "a") [Var "x"]]), (Fun (Sharp "a") [Fun (Plain "a") [Fun (Plain "a") [Var "x"]]],Fun (Sharp "b") [Fun (Plain "b") [Fun (Plain "a") [Var "x"]]]), (Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "a") [Var "x"]]],Fun (Sharp "b") [Fun (Plain "b") [Fun (Plain "a") [Var "x"]]]), (Fun (Sharp "b") [Fun (Plain "a") [Fun (Plain "b") [Var "x"]]],Fun (Sharp "a") [Fun (Plain "a") [Fun (Plain "b") [Var "x"]]])])])