Last login: Tue Jul 21 02:46:41 on ttys002 Thing-7:~ eduardsergeev$ cd ~/Haskell Thing-7:Haskell eduardsergeev$ ghc --make TFTest.hs -ddump-tc-trace[1 of 1] Compiling Main ( TFTest.hs, TFTest.o ) TFTest.hs:1:0: Tc2 TFTest.hs:1:0: tcTyAndCl Main TFTest.hs:7:13: lk1 a In the type `a' In the type `a -> b' In the type `(a -> b) -> c -> Res c a b' TFTest.hs:7:13: lk2 a AThing k_afW In the type `a' In the type `a -> b' In the type `(a -> b) -> c -> Res c a b' TFTest.hs:7:18: lk1 b In the type `b' In the type `a -> b' In the type `(a -> b) -> c -> Res c a b' TFTest.hs:7:18: lk2 b AThing k_afX In the type `b' In the type `a -> b' In the type `(a -> b) -> c -> Res c a b' TFTest.hs:7:24: lk1 c In the type `c' In the type `c -> Res c a b' In the type `(a -> b) -> c -> Res c a b' TFTest.hs:7:24: lk2 c AThing k_afV In the type `c' In the type `c -> Res c a b' In the type `(a -> b) -> c -> Res c a b' TFTest.hs:7:29: lk1 Res In the type `Res c a b' In the type `c -> Res c a b' In the type `(a -> b) -> c -> Res c a b' TFTest.hs:7:29: lk2 Res AThing k_afY -> k_afZ -> k_ag0 -> * In the type `Res c a b' In the type `c -> Res c a b' In the type `(a -> b) -> c -> Res c a b' TFTest.hs:7:33: lk1 c In the type `c' In the type `Res c a b' In the type `c -> Res c a b' TFTest.hs:7:33: lk2 c AThing k_afV In the type `c' In the type `Res c a b' In the type `c -> Res c a b' TFTest.hs:7:35: lk1 a In the type `a' In the type `Res c a b' In the type `c -> Res c a b' TFTest.hs:7:35: lk2 a AThing k_afW In the type `a' In the type `Res c a b' In the type `c -> Res c a b' TFTest.hs:7:37: lk1 b In the type `b' In the type `Res c a b' In the type `c -> Res c a b' TFTest.hs:7:37: lk2 b AThing k_afX In the type `b' In the type `Res c a b' In the type `c -> Res c a b' TFTest.hs:6:4: type family: Res In the class declaration for `RFunctor' TFTest.hs:1:0: ready for validity check TFTest.hs:5:0: Validity of Class `RFunctor' In the class declaration for `RFunctor' TFTest.hs:5:0: class op type forall c a b. (RFunctor c a b) => (a -> b) -> c -> Res c a b (a -> b) -> c -> Res c a b When checking the class method: rmap :: (a -> b) -> c -> Res c a b In the class declaration for `RFunctor' TFTest.hs:5:0: checkValidType (a -> b) -> c -> Res c a b When checking the class method: rmap :: (a -> b) -> c -> Res c a b In the class declaration for `RFunctor' TFTest.hs:5:0: checkValidType done (a -> b) -> c -> Res c a b When checking the class method: rmap :: (a -> b) -> c -> Res c a b In the class declaration for `RFunctor' TFTest.hs:5:0: Done validity of Class `RFunctor' In the class declaration for `RFunctor' TFTest.hs:1:0: done TFTest.hs:1:0: Adding [Class `RFunctor', Type constructor `Res'] and [Type constructor `Main.:TRFunctor', Type constructor `Main.:Co:TRFunctor', Data constructor `Main.:DRFunctor', Identifier `Main.:DRFunctor', Type constructor `Res', Identifier `rmap'] TFTest.hs:1:0: Tc3 TFTest.hs:13:19: lk1 c In the type `c' In the type `(RFunctor c a b, a ~ c) => RFunctor [c] a b' In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:19: lk2 c AThing k_aga In the type `c' In the type `(RFunctor c a b, a ~ c) => RFunctor [c] a b' In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:21: lk1 a In the type `a' In the type `(RFunctor c a b, a ~ c) => RFunctor [c] a b' In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:21: lk2 a AThing k_agb In the type `a' In the type `(RFunctor c a b, a ~ c) => RFunctor [c] a b' In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:23: lk1 b In the type `b' In the type `(RFunctor c a b, a ~ c) => RFunctor [c] a b' In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:23: lk2 b AThing k_agc In the type `b' In the type `(RFunctor c a b, a ~ c) => RFunctor [c] a b' In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:26: lk1 a In the type `(RFunctor c a b, a ~ c) => RFunctor [c] a b' In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:26: lk2 a AThing k_agb In the type `(RFunctor c a b, a ~ c) => RFunctor [c] a b' In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:30: lk1 c In the type `(RFunctor c a b, a ~ c) => RFunctor [c] a b' In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:30: lk2 c AThing k_aga In the type `(RFunctor c a b, a ~ c) => RFunctor [c] a b' In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:46: lk1 c In the type `c' In the type `[c]' In the type `(RFunctor c a b, a ~ c) => RFunctor [c] a b' TFTest.hs:13:46: lk2 c AThing k_aga In the type `c' In the type `[c]' In the type `(RFunctor c a b, a ~ c) => RFunctor [c] a b' TFTest.hs:13:49: lk1 a In the type `a' In the type `(RFunctor c a b, a ~ c) => RFunctor [c] a b' In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:49: lk2 a AThing k_agb In the type `a' In the type `(RFunctor c a b, a ~ c) => RFunctor [c] a b' In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:51: lk1 b In the type `b' In the type `(RFunctor c a b, a ~ c) => RFunctor [c] a b' In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:51: lk2 b AThing k_agc In the type `b' In the type `(RFunctor c a b, a ~ c) => RFunctor [c] a b' In the instance declaration for `RFunctor [c] a b' TFTest.hs:14:14: lk1 c In the type `c' In the type `[c]' In the type synonym instance declaration for `Res' TFTest.hs:14:14: lk2 c AThing k_agi In the type `c' In the type `[c]' In the type synonym instance declaration for `Res' TFTest.hs:14:17: lk1 a In the type `a' In the type synonym instance declaration for `Res' In the instance declaration for `RFunctor [c] a b' TFTest.hs:14:17: lk2 a AThing k_agj In the type `a' In the type synonym instance declaration for `Res' In the instance declaration for `RFunctor [c] a b' TFTest.hs:14:19: lk1 b In the type `b' In the type synonym instance declaration for `Res' In the instance declaration for `RFunctor [c] a b' TFTest.hs:14:19: lk2 b AThing k_agk In the type `b' In the type synonym instance declaration for `Res' In the instance declaration for `RFunctor [c] a b' TFTest.hs:14:24: lk1 b In the type `b' In the type `[b]' In the type synonym instance declaration for `Res' TFTest.hs:14:24: lk2 b AThing k_agk In the type `b' In the type `[b]' In the type synonym instance declaration for `Res' TFTest.hs:14:4: checkValidType [b] In the type synonym instance declaration for `Res' In the instance declaration for `RFunctor [c] a b' TFTest.hs:14:4: checkValidType done [b] In the type synonym instance declaration for `Res' In the instance declaration for `RFunctor [c] a b' TFTest.hs:9:10: lk1 a In the type `(a ~ c) => RFunctor c a b' In the instance declaration for `RFunctor c a b' TFTest.hs:9:10: lk2 a AThing k_agn In the type `(a ~ c) => RFunctor c a b' In the instance declaration for `RFunctor c a b' TFTest.hs:9:14: lk1 c In the type `(a ~ c) => RFunctor c a b' In the instance declaration for `RFunctor c a b' TFTest.hs:9:14: lk2 c AThing k_ago In the type `(a ~ c) => RFunctor c a b' In the instance declaration for `RFunctor c a b' TFTest.hs:9:29: lk1 c In the type `c' In the type `(a ~ c) => RFunctor c a b' In the instance declaration for `RFunctor c a b' TFTest.hs:9:29: lk2 c AThing k_ago In the type `c' In the type `(a ~ c) => RFunctor c a b' In the instance declaration for `RFunctor c a b' TFTest.hs:9:31: lk1 a In the type `a' In the type `(a ~ c) => RFunctor c a b' In the instance declaration for `RFunctor c a b' TFTest.hs:9:31: lk2 a AThing k_agn In the type `a' In the type `(a ~ c) => RFunctor c a b' In the instance declaration for `RFunctor c a b' TFTest.hs:9:33: lk1 b In the type `b' In the type `(a ~ c) => RFunctor c a b' In the instance declaration for `RFunctor c a b' TFTest.hs:9:33: lk2 b AThing k_agp In the type `b' In the type `(a ~ c) => RFunctor c a b' In the instance declaration for `RFunctor c a b' TFTest.hs:10:13: lk1 c In the type `c' In the type synonym instance declaration for `Res' In the instance declaration for `RFunctor c a b' TFTest.hs:10:13: lk2 c AThing k_agq In the type `c' In the type synonym instance declaration for `Res' In the instance declaration for `RFunctor c a b' TFTest.hs:10:15: lk1 a In the type `a' In the type synonym instance declaration for `Res' In the instance declaration for `RFunctor c a b' TFTest.hs:10:15: lk2 a AThing k_agr In the type `a' In the type synonym instance declaration for `Res' In the instance declaration for `RFunctor c a b' TFTest.hs:10:17: lk1 b In the type `b' In the type synonym instance declaration for `Res' In the instance declaration for `RFunctor c a b' TFTest.hs:10:17: lk2 b AThing k_ags In the type `b' In the type synonym instance declaration for `Res' In the instance declaration for `RFunctor c a b' TFTest.hs:10:21: lk1 b In the type `b' In the type synonym instance declaration for `Res' In the instance declaration for `RFunctor c a b' TFTest.hs:10:21: lk2 b AThing k_ags In the type `b' In the type synonym instance declaration for `Res' In the instance declaration for `RFunctor c a b' TFTest.hs:10:4: checkValidType b In the type synonym instance declaration for `Res' In the instance declaration for `RFunctor c a b' TFTest.hs:10:4: checkValidType done b In the type synonym instance declaration for `Res' In the instance declaration for `RFunctor c a b' TFTest.hs:1:0: Adding instances: Main.$f2 : instance (a ~ c, RFunctor c a b) => RFunctor [c] a b -- Defined at TFTest.hs:13:9-51 Main.$f4 : instance (a ~ c) => RFunctor c a b -- Defined at TFTest.hs:9:9-33 TFTest.hs:1:0: Adding instances: TFTest.hs:1:0: tcDeriving False TFTest.hs:1:0: Adding instances: TFTest.hs:1:0: Tc4 TFTest.hs:1:0: Tc4a TFTest.hs:1:0: Tc5 TFTest.hs:1:0: env2 TFTest.hs:1:0: env3 [] TFTest.hs:1:0: env2 TFTest.hs:1:0: env3 [] TFTest.hs:1:0: Tc6 TFTest.hs:1:0: env2 TFTest.hs:1:0: env3 [] TFTest.hs:13:9: env2 In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: env3 [(rmap, Identifier)] In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:4: ------------------------------------------------ In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:4: Bindings for [rmap] In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:4: tcMoonBinds [] rmap :: [] [] => (a -> b) -> [c] -> Res [c] a b In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:4: tc_lam_pats [(f, a -> b)] [c] -> Res [c] a b In the definition of `rmap': rmap f = map (map f) In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:9: env2 In the definition of `rmap': rmap f = map (map f) In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:9: env3 [(f, Identifier)] In the definition of `rmap': rmap f = map (map f) In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:9: binding f a -> b In the definition of `rmap': rmap f = map (map f) In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:13: tcBody [c] -> Res [c] a b In the definition of `rmap': rmap f = map (map f) In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:13: preSubType [a, b] [(agQ, a), (agR, b)] [a] -> [b] [c] -> Res [c] a b [TvSubst In scope: InScope [] Env: [(agQ, c)]] [c, b] In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:18: preSubType [a, b] [(agQ, a), (agR, b)] [a] -> [b] c -> b [TvSubst In scope: InScope [] Env: []] [a, b] In the first argument of `map', namely `(map f)' In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) TFTest.hs:15:22: tcId f a -> b In the first argument of `map', namely `f' In the first argument of `map', namely `(map f)' In the expression: map (map f) TFTest.hs:15:22: preSubType [] [(afD, a), (afE, b)] a -> b a -> b [TvSubst In scope: InScope [] Env: []] [] In the first argument of `map', namely `f' In the first argument of `map', namely `(map f)' In the expression: map (map f) TFTest.hs:15:22: tcSubExp a -> b a -> b In the first argument of `map', namely `f' In the first argument of `map', namely `(map f)' In the expression: map (map f) TFTest.hs:15:22: tc_sub a -> b a -> b In the first argument of `map', namely `f' In the first argument of `map', namely `(map f)' In the expression: map (map f) TFTest.hs:15:22: tc_sub1 - case 4 In the first argument of `map', namely `f' In the first argument of `map', namely `(map f)' In the expression: map (map f) TFTest.hs:15:22: uTysOuter a a Expected type: a1 Inferred type: a In the first argument of `map', namely `f' In the first argument of `map', namely `(map f)' TFTest.hs:15:22: u_tys {a / a} ~ {a / a} Top a ~ a Expected type: a1 Inferred type: a In the first argument of `map', namely `f' In the first argument of `map', namely `(map f)' TFTest.hs:15:22: uVar Top a ~ a False a :: * <-> a :: * Expected type: a1 Inferred type: a In the first argument of `map', namely `f' In the first argument of `map', namely `(map f)' TFTest.hs:15:22: updateMeta a := a Expected type: a1 Inferred type: a In the first argument of `map', namely `f' In the first argument of `map', namely `(map f)' TFTest.hs:15:22: u_tys yields no coercion Expected type: a Inferred type: a In the first argument of `map', namely `f' In the first argument of `map', namely `(map f)' TFTest.hs:15:22: tc_sub b b In the first argument of `map', namely `f' In the first argument of `map', namely `(map f)' In the expression: map (map f) TFTest.hs:15:22: tc_sub1 - case 1 In the first argument of `map', namely `f' In the first argument of `map', namely `(map f)' In the expression: map (map f) TFTest.hs:15:22: uVar Top b ~ b False b :: * <-> b :: * Expected type: b1 Inferred type: b In the first argument of `map', namely `f' In the first argument of `map', namely `(map f)' TFTest.hs:15:22: updateMeta b := b Expected type: b1 Inferred type: b In the first argument of `map', namely `f' In the first argument of `map', namely `(map f)' TFTest.hs:15:22: tc_sub1 (Rule SBOXY) IdCo In the first argument of `map', namely `f' In the first argument of `map', namely `(map f)' In the expression: map (map f) TFTest.hs:15:22: tcId yields f In the first argument of `map', namely `f' In the first argument of `map', namely `(map f)' In the expression: map (map f) TFTest.hs:15:18: tcSubExp [a] -> [b] c -> b In the first argument of `map', namely `(map f)' In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) TFTest.hs:15:18: tc_sub [a] -> [b] c -> b In the first argument of `map', namely `(map f)' In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) TFTest.hs:15:18: tc_sub1 - case 4 In the first argument of `map', namely `(map f)' In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) TFTest.hs:15:18: uTysOuter [a] c Expected type: c Inferred type: [a] In the first argument of `map', namely `(map f)' In the expression: map (map f) TFTest.hs:15:18: u_tys {[a] / [a]} ~ {c / c} Top [a] ~ c Expected type: c Inferred type: [a] In the first argument of `map', namely `(map f)' In the expression: map (map f) TFTest.hs:15:18: uVar Top [a] ~ c True c :: * <-> [a] :: * Expected type: c Inferred type: [a] In the first argument of `map', namely `(map f)' In the expression: map (map f) TFTest.hs:15:18: deferring: [a] ~ c Expected type: c Inferred type: [a] In the first argument of `map', namely `(map f)' In the expression: map (map f) TFTest.hs:15:18: u_tys yields coercion: t_agV Expected type: c Inferred type: [a] In the first argument of `map', namely `(map f)' In the expression: map (map f) TFTest.hs:15:18: tc_sub [b] b In the first argument of `map', namely `(map f)' In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) TFTest.hs:15:18: tc_sub1 - case 6a [True, True, False, False, False] In the first argument of `map', namely `(map f)' In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) TFTest.hs:15:18: u_tys {[b] / [b]} ~ {b / b} Top [b] ~ b Expected type: b1 Inferred type: [b] In the first argument of `map', namely `(map f)' In the expression: map (map f) TFTest.hs:15:18: uVar Top [b] ~ b True b :: * <-> [b] :: * Expected type: b1 Inferred type: [b] In the first argument of `map', namely `(map f)' In the expression: map (map f) TFTest.hs:15:18: updateMeta b := [b] Expected type: b1 Inferred type: [b] In the first argument of `map', namely `(map f)' In the expression: map (map f) TFTest.hs:15:18: u_tys yields no coercion Expected type: [b] Inferred type: [b] In the first argument of `map', namely `(map f)' In the expression: map (map f) TFTest.hs:15:18: instFun [([a, b], [])] In the first argument of `map', namely `(map f)' In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) TFTest.hs:15:18: go yields co_fn <> In the first argument of `map', namely `(map f)' In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) TFTest.hs:15:18: go _ _ fun [] returns map In the first argument of `map', namely `(map f)' In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) TFTest.hs:15:18: instFun result map In the first argument of `map', namely `(map f)' In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) TFTest.hs:15:18: tcIdApp: map [([a, b], [])] <> map In the first argument of `map', namely `(map f)' In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) TFTest.hs:15:18: tcExpr args': [f] In the first argument of `map', namely `(map f)' In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) TFTest.hs:15:13: tcSubExp [c] -> [[b]] [c] -> Res [c] a b In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:13: tc_sub [c] -> [[b]] [c] -> Res [c] a b In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:13: tc_sub1 - case 4 In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:13: uTysOuter [c] [c] Expected type: [c] Inferred type: [c] In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) TFTest.hs:15:13: u_tys {[c] / [c]} ~ {[c] / [c]} Top [c] ~ [c] Expected type: [c] Inferred type: [c] In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) TFTest.hs:15:13: uTys c c Expected type: [c] Inferred type: [c] In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) TFTest.hs:15:13: u_tys {c / c} ~ {c / c} NonTop c ~ c Expected type: [c] Inferred type: [c] In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) TFTest.hs:15:13: uVar NonTop c ~ c False c :: * <-> c :: * Expected type: [c] Inferred type: [c] In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) TFTest.hs:15:13: u_tys yields no coercion Expected type: [c] Inferred type: [c] In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) TFTest.hs:15:13: u_tys yields no coercion Expected type: [c] Inferred type: [c] In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) TFTest.hs:15:13: tc_sub [[b]] Res [c] a b In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:13: tc_sub1 - case 6 In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:13: u_tys {[[b]] / [[b]]} ~ {Res [c] a b / Res [c] a b} Top [[b]] ~ (Res [c] a b) Expected type: Res [c] a b Inferred type: [[b]] In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) TFTest.hs:15:13: tcGenericNormaliseFamInst c Expected type: Res [c] a b Inferred type: [[b]] In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) TFTest.hs:15:13: tcGenericNormaliseFamInst a Expected type: Res [c] a b Inferred type: [[b]] In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) TFTest.hs:15:13: tcGenericNormaliseFamInst b Expected type: Res [c] a b Inferred type: [[b]] In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) TFTest.hs:15:13: deferring: [[b]] ~ Res [c] a b Expected type: Res [c] a b Inferred type: [[b]] In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) TFTest.hs:15:13: u_tys yields coercion: t_ah0 Expected type: Res [c] a b Inferred type: [[b]] In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) TFTest.hs:15:13: instFun [([c, [b]], [])] In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:13: go yields co_fn <> In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:13: go _ _ fun [] returns map In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:13: instFun result map In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:13: tcIdApp: map [([a, b], [])] <> map In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:13: tcExpr args': [(map f)] In the expression: map (map f) In the definition of `rmap': rmap f = map (map f) In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:4: temp [Wanted t_agV :: [a] ~ c, Wanted t_ah0 :: [[b]] ~ Res [c] a b] In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:4: tcSimplifyInferCheck <- [Wanted t_agV :: [a] ~ c, Wanted t_ah0 :: [[b]] ~ Res [c] a b] When generalising the type(s) for `rmap' In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:4: reduceContext ---------------------- the type signature for `rmap' at TFTest.hs:15:4-23 given [rmap{agP} :: {(a -> b) -> [c] -> Res [c] a b}] wanted [Wanted t_agV :: [a] ~ c, Wanted t_ah0 :: [[b]] ~ Res [c] a b] ---------------------- When generalising the type(s) for `rmap' In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:4: reduceContext: ancestor eqs [] When generalising the type(s) for `rmap' In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:4: Entering normaliseEqs When generalising the type(s) for `rmap' In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:4: normEqInst of Wanted t_agV :: [a] ~ c When generalising the type(s) for `rmap' In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:4: normEqInst returns ([Wanted t_ah9 :: c ~> [a]], []) When generalising the type(s) for `rmap' In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:4: normEqInst of Wanted t_ah0 :: [[b]] ~ Res [c] a b When generalising the type(s) for `rmap' In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:4: normEqInst returns ([Wanted t_ahb :: Res [c] a b ~> [[b]]], []) When generalising the type(s) for `rmap' In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:4: Entering normaliseDicts [Local] for [rmap{agP} :: {(a -> b) -> [c] -> Res [c] a b}] When generalising the type(s) for `rmap' In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:4: normaliseDicts returns [rmap{agP} :: {(a -> b) -> [c] -> Res [c] a b}] [[]] When generalising the type(s) for `rmap' In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:4: Entering normaliseDicts [Wanted] for [] When generalising the type(s) for `rmap' In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:4: normaliseDicts returns [] [] When generalising the type(s) for `rmap' In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:4: Entering propagateEqs: [Wanted t_ah9 :: c ~> [a], Wanted t_ahb :: Res [c] a b ~> [[b]]] [rmap{agP} :: {(a -> b) -> [c] -> Res [c] a b}] [] <> When generalising the type(s) for `rmap' In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:4: Trying subst rules with Wanted t_ah9 :: c ~> [a] Wanted t_ahb :: Res [c] a b ~> [[b]] When generalising the type(s) for `rmap' In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:4: Trying subst rules with Wanted t_ahc :: Res [[a]] a b ~> [[b]] Wanted t_ah9 :: c ~> [a] When generalising the type(s) for `rmap' In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:4: finaliseEqsAndDicts When generalising the type(s) for `rmap' In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:4: TcTyFuns.substitute: Wanted t_ah9 :: c ~> [a] When generalising the type(s) for `rmap' In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:4: instantiateAndExtract: [Wanted t_ah9 :: c ~> [a], Wanted t_ahc :: Res [[a]] a b ~> [[b]]] [] When generalising the type(s) for `rmap' In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:4: reduceContext: tcReduceEqs result [rmap{agP} :: {(a -> b) -> [c] -> Res [c] a b}] [Wanted t_ahd :: [a] ~ c, Wanted t_ahe :: [[b]] ~ Res [[a]] a b] <> When generalising the type(s) for `rmap' In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:4: reduceList [Wanted t_ahd :: [a] ~ c, Wanted t_ahe :: [[b]] ~ Res [[a]] a b] Avails {rmap{agP} :: {(a -> b) -> [c] -> Res [c] a b} = Given rmap{agP} :: {(a -> b) -> [c] -> Res [c] a b}} When generalising the type(s) for `rmap' In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:4: reduceContext: extractResults Avails {rmap{agP} :: {(a -> b) -> [c] -> Res [c] a b} = Given rmap{agP} :: {(a -> b) -> [c] -> Res [c] a b}} [Wanted t_ahd :: [a] ~ c, Wanted t_ahe :: [[b]] ~ Res [[a]] a b] <> When generalising the type(s) for `rmap' In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:4: reduceContext end ---------------------- the type signature for `rmap' at TFTest.hs:15:4-23 given [rmap{agP} :: {(a -> b) -> [c] -> Res [c] a b}] wanted [Wanted t_agV :: [a] ~ c, Wanted t_ah0 :: [[b]] ~ Res [c] a b] ---- avails Avails {rmap{agP} :: {(a -> b) -> [c] -> Res [c] a b} = Given rmap{agP} :: {(a -> b) -> [c] -> Res [c] a b}} improved = False (all) irreds = [Wanted t_ahe :: [[b]] ~ Res [[a]] a b, Wanted t_ahd :: [a] ~ c] dict-binds = <> implic-binds = <> ---------------------- When generalising the type(s) for `rmap' In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:4: tcSimplifyInferCheck -> <> When generalising the type(s) for `rmap' In the instance declaration for `RFunctor [c] a b' TFTest.hs:15:4: binding: [(rmap, (a -> b) -> [c] -> Res [c] a b)] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: tcSimplifyCheck In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: reduceContext ---------------------- the instance declaration at TFTest.hs:13:9-51 given [$dRFunctor{agN} :: {RFunctor [c] a b}, Given $co$ :: a ~ c, $dRFunctor{agL} :: {RFunctor c a b}] wanted [Wanted t_ahe :: [[b]] ~ Res [[a]] a b, Wanted t_ahd :: [a] ~ c] ---------------------- In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: reduceContext: ancestor eqs [] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Entering normaliseEqs In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: normEqInst of Local $co$ :: a ~ c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: normEqInst returns ([Local $co$ :: a ~> c], []) In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: normEqInst of Wanted t_ahe :: [[b]] ~ Res [[a]] a b In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: normEqInst returns ([Wanted t_ahh :: Res [[a]] a b ~> [[b]]], []) In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: normEqInst of Wanted t_ahd :: [a] ~ c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: normEqInst returns ([Wanted t_ahj :: c ~> [a]], []) In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Entering normaliseDicts [Local] for [$dRFunctor{agN} :: {RFunctor [c] a b}, $dRFunctor{agL} :: {RFunctor c a b}] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: normaliseDicts returns [$dRFunctor{agN} :: {RFunctor [c] a b}, $dRFunctor{agL} :: {RFunctor c a b}] [[], []] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Entering normaliseDicts [Wanted] for [] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: normaliseDicts returns [] [] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Entering propagateEqs: [Local $co$ :: a ~> c, Wanted t_ahh :: Res [[a]] a b ~> [[b]], Wanted t_ahj :: c ~> [a]] [$dRFunctor{agN} :: {RFunctor [c] a b}, $dRFunctor{agL} :: {RFunctor c a b}] [] <> In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahh :: Res [[a]] a b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahk :: Res [[c]] c b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahk :: Res [[c]] c b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ahk :: Res [[c]] c b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahl :: Res [[[a]]] [a] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahl :: Res [[[a]]] [a] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahl :: Res [[[a]]] [a] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahm :: Res [[[c]]] [c] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahm :: Res [[[c]]] [c] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ahm :: Res [[[c]]] [c] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahn :: Res [[[[a]]]] [[a]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahn :: Res [[[[a]]]] [[a]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahn :: Res [[[[a]]]] [[a]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aho :: Res [[[[c]]]] [[c]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aho :: Res [[[[c]]]] [[c]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aho :: Res [[[[c]]]] [[c]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahp :: Res [[[[[a]]]]] [[[a]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahp :: Res [[[[[a]]]]] [[[a]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahp :: Res [[[[[a]]]]] [[[a]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahq :: Res [[[[[c]]]]] [[[c]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahq :: Res [[[[[c]]]]] [[[c]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ahq :: Res [[[[[c]]]]] [[[c]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahr :: Res [[[[[[a]]]]]] [[[[a]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahr :: Res [[[[[[a]]]]]] [[[[a]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahr :: Res [[[[[[a]]]]]] [[[[a]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahs :: Res [[[[[[c]]]]]] [[[[c]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahs :: Res [[[[[[c]]]]]] [[[[c]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ahs :: Res [[[[[[c]]]]]] [[[[c]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aht :: Res [[[[[[[a]]]]]]] [[[[[a]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aht :: Res [[[[[[[a]]]]]]] [[[[[a]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_aht :: Res [[[[[[[a]]]]]]] [[[[[a]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahu :: Res [[[[[[[c]]]]]]] [[[[[c]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahu :: Res [[[[[[[c]]]]]]] [[[[[c]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ahu :: Res [[[[[[[c]]]]]]] [[[[[c]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahv :: Res [[[[[[[[a]]]]]]]] [[[[[[a]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahv :: Res [[[[[[[[a]]]]]]]] [[[[[[a]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahv :: Res [[[[[[[[a]]]]]]]] [[[[[[a]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahw :: Res [[[[[[[[c]]]]]]]] [[[[[[c]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahw :: Res [[[[[[[[c]]]]]]]] [[[[[[c]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ahw :: Res [[[[[[[[c]]]]]]]] [[[[[[c]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahx :: Res [[[[[[[[[a]]]]]]]]] [[[[[[[a]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahx :: Res [[[[[[[[[a]]]]]]]]] [[[[[[[a]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahx :: Res [[[[[[[[[a]]]]]]]]] [[[[[[[a]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahy :: Res [[[[[[[[[c]]]]]]]]] [[[[[[[c]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahy :: Res [[[[[[[[[c]]]]]]]]] [[[[[[[c]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ahy :: Res [[[[[[[[[c]]]]]]]]] [[[[[[[c]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahz :: Res [[[[[[[[[[a]]]]]]]]]] [[[[[[[[a]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahz :: Res [[[[[[[[[[a]]]]]]]]]] [[[[[[[[a]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahz :: Res [[[[[[[[[[a]]]]]]]]]] [[[[[[[[a]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahA :: Res [[[[[[[[[[c]]]]]]]]]] [[[[[[[[c]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahA :: Res [[[[[[[[[[c]]]]]]]]]] [[[[[[[[c]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ahA :: Res [[[[[[[[[[c]]]]]]]]]] [[[[[[[[c]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahB :: Res [[[[[[[[[[[a]]]]]]]]]]] [[[[[[[[[a]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahB :: Res [[[[[[[[[[[a]]]]]]]]]]] [[[[[[[[[a]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahB :: Res [[[[[[[[[[[a]]]]]]]]]]] [[[[[[[[[a]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahC :: Res [[[[[[[[[[[c]]]]]]]]]]] [[[[[[[[[c]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahC :: Res [[[[[[[[[[[c]]]]]]]]]]] [[[[[[[[[c]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ahC :: Res [[[[[[[[[[[c]]]]]]]]]]] [[[[[[[[[c]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahD :: Res [[[[[[[[[[[[a]]]]]]]]]]]] [[[[[[[[[[a]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahD :: Res [[[[[[[[[[[[a]]]]]]]]]]]] [[[[[[[[[[a]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahD :: Res [[[[[[[[[[[[a]]]]]]]]]]]] [[[[[[[[[[a]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahE :: Res [[[[[[[[[[[[c]]]]]]]]]]]] [[[[[[[[[[c]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahE :: Res [[[[[[[[[[[[c]]]]]]]]]]]] [[[[[[[[[[c]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ahE :: Res [[[[[[[[[[[[c]]]]]]]]]]]] [[[[[[[[[[c]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahF :: Res [[[[[[[[[[[[[a]]]]]]]]]]]]] [[[[[[[[[[[a]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahF :: Res [[[[[[[[[[[[[a]]]]]]]]]]]]] [[[[[[[[[[[a]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahF :: Res [[[[[[[[[[[[[a]]]]]]]]]]]]] [[[[[[[[[[[a]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahG :: Res [[[[[[[[[[[[[c]]]]]]]]]]]]] [[[[[[[[[[[c]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahG :: Res [[[[[[[[[[[[[c]]]]]]]]]]]]] [[[[[[[[[[[c]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ahG :: Res [[[[[[[[[[[[[c]]]]]]]]]]]]] [[[[[[[[[[[c]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahH :: Res [[[[[[[[[[[[[[a]]]]]]]]]]]]]] [[[[[[[[[[[[a]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahH :: Res [[[[[[[[[[[[[[a]]]]]]]]]]]]]] [[[[[[[[[[[[a]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahH :: Res [[[[[[[[[[[[[[a]]]]]]]]]]]]]] [[[[[[[[[[[[a]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahI :: Res [[[[[[[[[[[[[[c]]]]]]]]]]]]]] [[[[[[[[[[[[c]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahI :: Res [[[[[[[[[[[[[[c]]]]]]]]]]]]]] [[[[[[[[[[[[c]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ahI :: Res [[[[[[[[[[[[[[c]]]]]]]]]]]]]] [[[[[[[[[[[[c]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahJ :: Res [[[[[[[[[[[[[[[a]]]]]]]]]]]]]]] [[[[[[[[[[[[[a]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahJ :: Res [[[[[[[[[[[[[[[a]]]]]]]]]]]]]]] [[[[[[[[[[[[[a]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahJ :: Res [[[[[[[[[[[[[[[a]]]]]]]]]]]]]]] [[[[[[[[[[[[[a]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahK :: Res [[[[[[[[[[[[[[[c]]]]]]]]]]]]]]] [[[[[[[[[[[[[c]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahK :: Res [[[[[[[[[[[[[[[c]]]]]]]]]]]]]]] [[[[[[[[[[[[[c]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ahK :: Res [[[[[[[[[[[[[[[c]]]]]]]]]]]]]]] [[[[[[[[[[[[[c]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahL :: Res [[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[a]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahL :: Res [[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[a]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahL :: Res [[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[a]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahM :: Res [[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[c]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahM :: Res [[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[c]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ahM :: Res [[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[c]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahN :: Res [[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[a]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahN :: Res [[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[a]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahN :: Res [[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[a]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahO :: Res [[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[c]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahO :: Res [[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[c]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ahO :: Res [[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[c]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahP :: Res [[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahP :: Res [[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahP :: Res [[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahQ :: Res [[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahQ :: Res [[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ahQ :: Res [[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahR :: Res [[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahR :: Res [[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahR :: Res [[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahS :: Res [[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahS :: Res [[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ahS :: Res [[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahT :: Res [[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahT :: Res [[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahT :: Res [[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahU :: Res [[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahU :: Res [[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ahU :: Res [[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahV :: Res [[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahV :: Res [[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahV :: Res [[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahW :: Res [[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahW :: Res [[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ahW :: Res [[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahX :: Res [[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahX :: Res [[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahX :: Res [[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahY :: Res [[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahY :: Res [[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ahY :: Res [[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahZ :: Res [[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahZ :: Res [[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahZ :: Res [[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ai0 :: Res [[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ai0 :: Res [[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ai0 :: Res [[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ai1 :: Res [[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ai1 :: Res [[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ai1 :: Res [[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ai2 :: Res [[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ai2 :: Res [[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ai2 :: Res [[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ai3 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ai3 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ai3 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ai4 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ai4 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ai4 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ai5 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ai5 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ai5 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ai6 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ai6 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ai6 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ai7 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ai7 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ai7 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ai8 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ai8 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ai8 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ai9 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ai9 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ai9 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aia :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aia :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aia :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aib :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aib :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_aib :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aic :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aic :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aic :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aid :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aid :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_aid :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aie :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aie :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aie :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aif :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aif :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_aif :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aig :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aig :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aig :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aih :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aih :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_aih :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aii :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aii :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aii :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aij :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aij :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_aij :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aik :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aik :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aik :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ail :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ail :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ail :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aim :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aim :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aim :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ain :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ain :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ain :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aio :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aio :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aio :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aip :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aip :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_aip :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiq :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiq :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aiq :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_air :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_air :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_air :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ais :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ais :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ais :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ait :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ait :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ait :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiu :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiu :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aiu :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiv :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiv :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_aiv :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiw :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiw :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aiw :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aix :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aix :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_aix :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiy :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiy :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aiy :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiz :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiz :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_aiz :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiA :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiA :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aiA :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiB :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiB :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_aiB :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiC :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiC :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aiC :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiD :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiD :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_aiD :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiE :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiE :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aiE :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiF :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiF :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_aiF :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiG :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiG :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aiG :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiH :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiH :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_aiH :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiI :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiI :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aiI :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiJ :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiJ :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_aiJ :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiK :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiK :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aiK :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiL :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiL :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_aiL :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiM :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiM :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aiM :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiN :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiN :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_aiN :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiO :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiO :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aiO :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiP :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiP :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_aiP :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiQ :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiQ :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aiQ :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiR :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiR :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_aiR :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiS :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiS :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aiS :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiT :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiT :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_aiT :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiU :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiU :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aiU :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiV :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiV :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_aiV :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiW :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiW :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aiW :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiX :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiX :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_aiX :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiY :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiY :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aiY :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiZ :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aiZ :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_aiZ :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aj0 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aj0 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aj0 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aj1 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aj1 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_aj1 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aj2 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aj2 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aj2 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aj3 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aj3 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_aj3 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aj4 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aj4 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aj4 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aj5 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aj5 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_aj5 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aj6 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aj6 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aj6 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aj7 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aj7 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_aj7 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aj8 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aj8 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aj8 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aj9 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aj9 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_aj9 :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aja :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aja :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aja :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajb :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajb :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ajb :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajc :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajc :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ajc :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajd :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajd :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ajd :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aje :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aje :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aje :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajf :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajf :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ajf :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajg :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajg :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ajg :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajh :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajh :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ajh :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aji :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aji :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aji :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajj :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajj :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ajj :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajk :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajk :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ajk :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajl :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajl :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ajl :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajm :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajm :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ajm :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajn :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajn :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ajn :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajo :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajo :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ajo :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajp :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajp :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ajp :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajq :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajq :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ajq :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajr :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajr :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ajr :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajs :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajs :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ajs :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajt :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajt :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ajt :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aju :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_aju :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_aju :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajv :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajv :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ajv :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajw :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajw :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ajw :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajx :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajx :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ajx :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajy :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajy :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ajy :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajz :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajz :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ajz :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajA :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajA :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ajA :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajB :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajB :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ajB :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajC :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajC :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ajC :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajD :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajD :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ajD :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajE :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajE :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ajE :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajF :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajF :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ajF :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajG :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajG :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ajG :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajH :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajH :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ajH :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajI :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajI :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ajI :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajJ :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajJ :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ajJ :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajK :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajK :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ajK :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajL :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajL :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ajL :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajM :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajM :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ajM :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajN :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajN :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ajN :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajO :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajO :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ajO :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajP :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajP :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ajP :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajQ :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajQ :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ajQ :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajR :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajR :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ajR :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajS :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajS :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Wanted t_ajS :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ahj :: c ~> [a] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajT :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajT :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] Local $co$ :: a ~> c In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ajT :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[a]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] b ~> [[b]] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Local $co$ :: a ~> c Wanted t_ahj :: c ~> [a] In the instance declaration for `RFunctor [c] a b' TFTest.hs:13:9: Trying subst rules with Wanted t_ajU :: Res [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[c]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]^C]]]]]]]]]]]]Thing-7:Haskell eduardsergeev$