Skip to content

Instantly share code, notes, and snippets.

@aljce

aljce/err.txt

Created June 28, 2018 19:21
Show Gist options
  • Save aljce/62f09ac8429e64db5b3acf718c95bf9f to your computer and use it in GitHub Desktop.
Save aljce/62f09ac8429e64db5b3acf718c95bf9f to your computer and use it in GitHub Desktop.
Download ZIP
Raw
err.txt
Preprocessing library for kpf-0.1.0..
Building library for kpf-0.1.0..
[6 of 6] Compiling Hask.Functor.Compose ( Hask/Functor/Compose.hs, dist/build/Hask/Functor/Compose.o )
Hask/Functor/Compose.hs:21:10: error:
• solveWanteds: too many iterations (limit = 4)
Unsolved: WC {wc_simple =
[D] _ {0}:: Category s0 (CDictCan)
[D] _ {0}:: Category s0 (CDictCan)
[D] _ {0}:: Category s0 (CDictCan)
[D] _ {0}:: Category s0 (CDictCan)
[D] _ {0}:: Category s0 (CDictCan)
[D] _ {0}:: Category s0 (CDictCan)
[D] _ {0}:: Category s0 (CDictCan)
[D] _ {0}:: Category s0 (CDictCan)
[D] _ {0}:: Category s0 (CDictCan)
[D] _ {0}:: Category s0 (CDictCan)
[D] _ {0}:: Category (Nat s0 (->)) (CDictCan)
[D] _ {0}:: Category (Nat s0 (->)) (CDictCan)
[D] _ {0}:: Category (Nat s0 (->)) (CDictCan)
[D] _ {0}:: Category (Nat s0 (->)) (CDictCan)
[D] _ {0}:: Category (Yoneda (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Category (Yoneda (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Category (Yoneda (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Category (Nat s0 (->)) (CDictCan)
[D] _ {0}:: Category (Nat s0 (->)) (CDictCan)
[D] _ {0}:: Category (Nat s0 (->)) (CDictCan)
[D] _ {0}:: Category (Nat s0 (->)) (CDictCan)
[D] _ {0}:: Category (Yoneda (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Category (Yoneda (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Category (Yoneda (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Category (Nat (Nat s0 (->)) (->)) (CDictCan)
[D] _ {0}:: Category (Nat (Nat s0 (->)) (->)) (CDictCan)
[D] _ {0}:: Category (Nat (Nat s0 (->)) (->)) (CDictCan)
[D] _ {0}:: Category (Nat (Yoneda (Nat s0 (->))) (->)) (CDictCan)
[D] _ {0}:: Category (Nat (Yoneda (Nat s0 (->))) (->)) (CDictCan)
[D] _ {0}:: Category (Yoneda (Nat (Nat s0 (->)) (->))) (CDictCan)
[D] _ {0}:: Category (Yoneda (Nat (Nat s0 (->)) (->))) (CDictCan)
[D] _ {0}:: Category
(Yoneda (Nat (Yoneda (Nat s0 (->))) (->))) (CDictCan)
[D] _ {0}:: Category (Nat (Nat s0 (->)) (->)) (CDictCan)
[D] _ {0}:: Category (Nat (Nat s0 (->)) (->)) (CDictCan)
[D] _ {0}:: Category (Nat (Nat s0 (->)) (->)) (CDictCan)
[D] _ {0}:: Category (Nat (Yoneda (Nat s0 (->))) (->)) (CDictCan)
[D] _ {0}:: Category (Nat (Yoneda (Nat s0 (->))) (->)) (CDictCan)
[D] _ {0}:: Category (Yoneda (Nat (Nat s0 (->)) (->))) (CDictCan)
[D] _ {0}:: Category (Yoneda (Nat (Nat s0 (->)) (->))) (CDictCan)
[D] _ {0}:: Category
(Yoneda (Nat (Yoneda (Nat s0 (->))) (->))) (CDictCan)
[D] _ {0}:: Category (Nat (Nat (Nat s0 (->)) (->)) (->)) (CDictCan)
[D] _ {0}:: Category (Nat (Nat (Nat s0 (->)) (->)) (->)) (CDictCan)
[D] _ {0}:: Category
(Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)) (CDictCan)
[D] _ {0}:: Category
(Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)) (CDictCan)
[D] _ {0}:: Category
(Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Category (Nat (Nat (Nat s0 (->)) (->)) (->)) (CDictCan)
[D] _ {0}:: Category (Nat (Nat (Nat s0 (->)) (->)) (->)) (CDictCan)
[D] _ {0}:: Category
(Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)) (CDictCan)
[D] _ {0}:: Category
(Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)) (CDictCan)
[D] _ {0}:: Category
(Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Category
(Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)) (CDictCan)
[D] _ {0}:: Category
(Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)) (CDictCan)
[WD] $dFunctor_a2fU {0}:: Functor q0 (CDictCan)
[D] _ {0}:: Functor s0 (CDictCan)
[D] _ {0}:: Functor s0 (CDictCan)
[D] _ {0}:: Functor s0 (CDictCan)
[D] _ {0}:: Functor s0 (CDictCan)
[D] _ {0}:: Functor s0 (CDictCan)
[D] _ {0}:: Functor s0 (CDictCan)
[D] _ {0}:: Functor s0 (CDictCan)
[D] _ {0}:: Functor s0 (CDictCan)
[D] _ {0}:: Functor s0 (CDictCan)
[D] _ {0}:: Functor s0 (CDictCan)
[D] _ {0}:: Functor (Nat s0 (->)) (CDictCan)
[D] _ {0}:: Functor (Nat s0 (->)) (CDictCan)
[D] _ {0}:: Functor (Nat s0 (->)) (CDictCan)
[D] _ {0}:: Functor (Nat s0 (->)) (CDictCan)
[D] _ {0}:: Functor (Yoneda (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Functor (Yoneda (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Functor (Yoneda (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Functor (Nat s0 (->)) (CDictCan)
[D] _ {0}:: Functor (Nat s0 (->)) (CDictCan)
[D] _ {0}:: Functor (Nat s0 (->)) (CDictCan)
[D] _ {0}:: Functor (Nat s0 (->)) (CDictCan)
[D] _ {0}:: Functor (Yoneda (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Functor (Yoneda (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Functor (Yoneda (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Functor (Nat (Nat s0 (->)) (->)) (CDictCan)
[D] _ {0}:: Functor (Nat (Nat s0 (->)) (->)) (CDictCan)
[D] _ {0}:: Functor (Nat (Nat s0 (->)) (->)) (CDictCan)
[D] _ {0}:: Functor (Nat (Yoneda (Nat s0 (->))) (->)) (CDictCan)
[D] _ {0}:: Functor (Nat (Yoneda (Nat s0 (->))) (->)) (CDictCan)
[D] _ {0}:: Functor (Yoneda (Nat (Nat s0 (->)) (->))) (CDictCan)
[D] _ {0}:: Functor (Yoneda (Nat (Nat s0 (->)) (->))) (CDictCan)
[D] _ {0}:: Functor
(Yoneda (Nat (Yoneda (Nat s0 (->))) (->))) (CDictCan)
[D] _ {0}:: Functor (Nat (Nat s0 (->)) (->)) (CDictCan)
[D] _ {0}:: Functor (Nat (Nat s0 (->)) (->)) (CDictCan)
[D] _ {0}:: Functor (Nat (Nat s0 (->)) (->)) (CDictCan)
[D] _ {0}:: Functor (Nat (Yoneda (Nat s0 (->))) (->)) (CDictCan)
[D] _ {0}:: Functor (Nat (Yoneda (Nat s0 (->))) (->)) (CDictCan)
[D] _ {0}:: Functor (Yoneda (Nat (Nat s0 (->)) (->))) (CDictCan)
[D] _ {0}:: Functor (Yoneda (Nat (Nat s0 (->)) (->))) (CDictCan)
[D] _ {0}:: Functor
(Yoneda (Nat (Yoneda (Nat s0 (->))) (->))) (CDictCan)
[D] _ {0}:: Functor (Nat (Nat (Nat s0 (->)) (->)) (->)) (CDictCan)
[D] _ {0}:: Functor (Nat (Nat (Nat s0 (->)) (->)) (->)) (CDictCan)
[D] _ {0}:: Functor
(Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)) (CDictCan)
[D] _ {0}:: Functor
(Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)) (CDictCan)
[D] _ {0}:: Functor
(Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Functor (Nat (Nat (Nat s0 (->)) (->)) (->)) (CDictCan)
[D] _ {0}:: Functor (Nat (Nat (Nat s0 (->)) (->)) (->)) (CDictCan)
[D] _ {0}:: Functor
(Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)) (CDictCan)
[D] _ {0}:: Functor
(Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)) (CDictCan)
[D] _ {0}:: Functor
(Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Functor
(Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)) (CDictCan)
[D] _ {0}:: Functor
(Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)) (CDictCan)
[D] _ {2}:: s0 ~ Nat s1 (->) (CNonCanonical)
[D] _ {2}:: s0 ~ s1 (CNonCanonical)
[D] _ {2}:: s0 ~ s1 (CNonCanonical)
[D] _ {2}:: s0 ~ s1 (CNonCanonical)
[D] _ {2}:: s0 ~ s1 (CNonCanonical)
[D] _ {2}:: s0 ~ Nat s1 (->) (CNonCanonical)
[D] _ {2}:: s0 ~ s1 (CNonCanonical)
[D] _ {2}:: s0 ~ s1 (CNonCanonical)
[D] _ {2}:: s0 ~ s1 (CNonCanonical)
[D] _ {2}:: s0 ~ s1 (CNonCanonical)
[D] _ {2}:: s0 ~ s1 (CNonCanonical)
[D] _ {2}:: s0 ~ s1 (CNonCanonical)
[D] _ {2}:: s0 ~ s1 (CNonCanonical)
[D] _ {2}:: s0 ~ s1 (CNonCanonical)
[D] _ {2}:: s0 ~ Nat s1 (->) (CNonCanonical)
[D] _ {2}:: s0 ~ s1 (CNonCanonical)
[D] _ {2}:: s0 ~ s1 (CNonCanonical)
[D] _ {2}:: s0 ~ Nat s1 (->) (CNonCanonical)
[D] _ {2}:: s0 ~ Nat s1 (->) (CNonCanonical)
[D] _ {2}:: s0 ~ s1 (CNonCanonical)
[D] _ {2}:: s0 ~ Nat s1 (->) (CNonCanonical)
[D] _ {2}:: s0 ~ s1 (CNonCanonical)
[D] _ {2}:: s0 ~ s1 (CNonCanonical)
[D] _ {2}:: s0 ~ Nat s1 (->) (CNonCanonical)
[D] _ {2}:: s0 ~ Nat s1 (->) (CNonCanonical)
[D] _ {2}:: s0 ~ Nat s1 (->) (CNonCanonical)
[D] _ {2}:: s0 ~ s1 (CNonCanonical)
[D] _ {2}:: s0 ~ Nat s1 (->) (CNonCanonical)
[D] _ {2}:: s0 ~ s1 (CNonCanonical)
[D] _ {2}:: s0 ~ s1 (CNonCanonical)
[D] _ {0}:: Category
(Dom
(Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Functor
(Dom
(Nat
(Nat (Nat (Nat s0 (->)) (->)) (->))
(->))) (CDictCan(psc))
[D] _ {0}:: Dom
(Dom (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
~ Op
(Dom
(Nat
(Nat (Nat (Nat s0 (->)) (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Dom
(Dom (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
~ Op
(Dom
(Nat
(Nat (Nat (Nat s0 (->)) (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Dom
(Dom (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
~ Op
(Dom
(Nat
(Nat (Nat (Nat s0 (->)) (->)) (->))
(->))) (CNonCanonical)
[D] _ {0}:: Cod
(Dom (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
~ Nat
(Dom (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
(->) (CDictCan)
[D] _ {0}:: Cod
(Dom (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
~ Nat
(Dom (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
(->) (CDictCan)
[D] _ {0}:: Cod
(Dom (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
~ Nat
(Dom (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
(->) (CNonCanonical)
[D] _ {0}:: Ob
(Op (Dom (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->))))
~ Ob
(Dom
(Nat
(Nat (Nat (Nat s0 (->)) (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Ob
(Op (Dom (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->))))
~ Ob
(Dom
(Nat
(Nat (Nat (Nat s0 (->)) (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Ob
(Op (Dom (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->))))
~ Ob
(Dom
(Nat
(Nat (Nat (Nat s0 (->)) (->)) (->))
(->))) (CNonCanonical)
[D] _ {0}:: Category
(Cod
(Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Functor
(Cod
(Nat
(Nat (Nat (Nat s0 (->)) (->)) (->))
(->))) (CDictCan(psc))
[D] _ {0}:: Dom
(Cod (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
~ Op
(Cod
(Nat
(Nat (Nat (Nat s0 (->)) (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Dom
(Cod (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
~ Op
(Cod
(Nat
(Nat (Nat (Nat s0 (->)) (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Dom
(Cod (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
~ Op
(Cod
(Nat
(Nat (Nat (Nat s0 (->)) (->)) (->))
(->))) (CNonCanonical)
[D] _ {0}:: Cod
(Cod (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
~ Nat
(Cod (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
(->) (CDictCan)
[D] _ {0}:: Cod
(Cod (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
~ Nat
(Cod (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
(->) (CDictCan)
[D] _ {0}:: Cod
(Cod (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
~ Nat
(Cod (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
(->) (CNonCanonical)
[D] _ {0}:: Ob
(Op (Cod (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->))))
~ Ob
(Cod
(Nat
(Nat (Nat (Nat s0 (->)) (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Ob
(Op (Cod (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->))))
~ Ob
(Cod
(Nat
(Nat (Nat (Nat s0 (->)) (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Ob
(Op (Cod (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->))))
~ Ob
(Cod
(Nat
(Nat (Nat (Nat s0 (->)) (->)) (->))
(->))) (CNonCanonical)
[D] _ {0}:: Category
(Dom
(Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Functor
(Dom
(Nat
(Nat (Nat (Nat s0 (->)) (->)) (->))
(->))) (CDictCan(psc))
[D] _ {0}:: Dom
(Dom (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
~ Op
(Dom
(Nat
(Nat (Nat (Nat s0 (->)) (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Dom
(Dom (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
~ Op
(Dom
(Nat
(Nat (Nat (Nat s0 (->)) (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Dom
(Dom (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
~ Op
(Dom
(Nat
(Nat (Nat (Nat s0 (->)) (->)) (->))
(->))) (CNonCanonical)
[D] _ {0}:: Cod
(Dom (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
~ Nat
(Dom (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
(->) (CDictCan)
[D] _ {0}:: Cod
(Dom (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
~ Nat
(Dom (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
(->) (CDictCan)
[D] _ {0}:: Cod
(Dom (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
~ Nat
(Dom (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
(->) (CNonCanonical)
[D] _ {0}:: Ob
(Op (Dom (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->))))
~ Ob
(Dom
(Nat
(Nat (Nat (Nat s0 (->)) (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Ob
(Op (Dom (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->))))
~ Ob
(Dom
(Nat
(Nat (Nat (Nat s0 (->)) (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Ob
(Op (Dom (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->))))
~ Ob
(Dom
(Nat
(Nat (Nat (Nat s0 (->)) (->)) (->))
(->))) (CNonCanonical)
[D] _ {0}:: Category
(Cod
(Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Functor
(Cod
(Nat
(Nat (Nat (Nat s0 (->)) (->)) (->))
(->))) (CDictCan(psc))
[D] _ {0}:: Dom
(Cod (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
~ Op
(Cod
(Nat
(Nat (Nat (Nat s0 (->)) (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Dom
(Cod (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
~ Op
(Cod
(Nat
(Nat (Nat (Nat s0 (->)) (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Dom
(Cod (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
~ Op
(Cod
(Nat
(Nat (Nat (Nat s0 (->)) (->)) (->))
(->))) (CNonCanonical)
[D] _ {0}:: Cod
(Cod (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
~ Nat
(Cod (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
(->) (CDictCan)
[D] _ {0}:: Cod
(Cod (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
~ Nat
(Cod (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
(->) (CDictCan)
[D] _ {0}:: Cod
(Cod (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
~ Nat
(Cod (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->)))
(->) (CNonCanonical)
[D] _ {0}:: Ob
(Op (Cod (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->))))
~ Ob
(Cod
(Nat
(Nat (Nat (Nat s0 (->)) (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Ob
(Op (Cod (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->))))
~ Ob
(Cod
(Nat
(Nat (Nat (Nat s0 (->)) (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Ob
(Op (Cod (Nat (Nat (Nat (Nat s0 (->)) (->)) (->)) (->))))
~ Ob
(Cod
(Nat
(Nat (Nat (Nat s0 (->)) (->)) (->))
(->))) (CNonCanonical)
[D] _ {0}:: Category
(Dom (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))) (CDictCan)
[D] _ {0}:: Functor
(Dom
(Yoneda
(Nat (Nat (Nat s0 (->)) (->)) (->)))) (CDictCan(psc))
[D] _ {0}:: Dom (Dom (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Op
(Dom
(Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))) (CDictCan)
[D] _ {0}:: Dom (Dom (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Op
(Dom
(Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))) (CDictCan)
[D] _ {0}:: Dom (Dom (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Op
(Dom
(Yoneda
(Nat (Nat (Nat s0 (->)) (->)) (->)))) (CNonCanonical)
[D] _ {0}:: Cod (Dom (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Nat
(Dom (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
(->) (CDictCan)
[D] _ {0}:: Cod (Dom (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Nat
(Dom (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
(->) (CDictCan)
[D] _ {0}:: Cod (Dom (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Nat
(Dom (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
(->) (CNonCanonical)
[D] _ {0}:: Ob
(Op (Dom (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))))
~ Ob
(Dom
(Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))) (CDictCan)
[D] _ {0}:: Ob
(Op (Dom (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))))
~ Ob
(Dom
(Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))) (CDictCan)
[D] _ {0}:: Ob
(Op (Dom (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))))
~ Ob
(Dom
(Yoneda
(Nat (Nat (Nat s0 (->)) (->)) (->)))) (CNonCanonical)
[D] _ {0}:: Category
(Cod (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))) (CDictCan)
[D] _ {0}:: Functor
(Cod
(Yoneda
(Nat (Nat (Nat s0 (->)) (->)) (->)))) (CDictCan(psc))
[D] _ {0}:: Dom (Cod (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Op
(Cod
(Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))) (CDictCan)
[D] _ {0}:: Dom (Cod (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Op
(Cod
(Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))) (CDictCan)
[D] _ {0}:: Dom (Cod (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Op
(Cod
(Yoneda
(Nat (Nat (Nat s0 (->)) (->)) (->)))) (CNonCanonical)
[D] _ {0}:: Cod (Cod (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Nat
(Cod (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
(->) (CDictCan)
[D] _ {0}:: Cod (Cod (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Nat
(Cod (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
(->) (CDictCan)
[D] _ {0}:: Cod (Cod (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Nat
(Cod (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
(->) (CNonCanonical)
[D] _ {0}:: Ob
(Op (Cod (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))))
~ Ob
(Cod
(Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))) (CDictCan)
[D] _ {0}:: Ob
(Op (Cod (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))))
~ Ob
(Cod
(Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))) (CDictCan)
[D] _ {0}:: Ob
(Op (Cod (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))))
~ Ob
(Cod
(Yoneda
(Nat (Nat (Nat s0 (->)) (->)) (->)))) (CNonCanonical)
[D] _ {0}:: Category
(Dom (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))) (CDictCan)
[D] _ {0}:: Functor
(Dom
(Nat
(Yoneda (Nat (Nat s0 (->)) (->))) (->))) (CDictCan(psc))
[D] _ {0}:: Dom (Dom (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
~ Op
(Dom
(Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))) (CDictCan)
[D] _ {0}:: Dom (Dom (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
~ Op
(Dom
(Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))) (CDictCan)
[D] _ {0}:: Dom (Dom (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
~ Op
(Dom
(Nat
(Yoneda (Nat (Nat s0 (->)) (->)))
(->))) (CNonCanonical)
[D] _ {0}:: Cod (Dom (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
~ Nat
(Dom (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
(->) (CDictCan)
[D] _ {0}:: Cod (Dom (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
~ Nat
(Dom (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
(->) (CDictCan)
[D] _ {0}:: Cod (Dom (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
~ Nat
(Dom (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
(->) (CNonCanonical)
[D] _ {0}:: Ob
(Op (Dom (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))))
~ Ob
(Dom
(Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))) (CDictCan)
[D] _ {0}:: Ob
(Op (Dom (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))))
~ Ob
(Dom
(Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))) (CDictCan)
[D] _ {0}:: Ob
(Op (Dom (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))))
~ Ob
(Dom
(Nat
(Yoneda (Nat (Nat s0 (->)) (->)))
(->))) (CNonCanonical)
[D] _ {0}:: Category
(Cod (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))) (CDictCan)
[D] _ {0}:: Functor
(Cod
(Nat
(Yoneda (Nat (Nat s0 (->)) (->))) (->))) (CDictCan(psc))
[D] _ {0}:: Dom (Cod (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
~ Op
(Cod
(Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))) (CDictCan)
[D] _ {0}:: Dom (Cod (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
~ Op
(Cod
(Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))) (CDictCan)
[D] _ {0}:: Dom (Cod (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
~ Op
(Cod
(Nat
(Yoneda (Nat (Nat s0 (->)) (->)))
(->))) (CNonCanonical)
[D] _ {0}:: Cod (Cod (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
~ Nat
(Cod (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
(->) (CDictCan)
[D] _ {0}:: Cod (Cod (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
~ Nat
(Cod (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
(->) (CDictCan)
[D] _ {0}:: Cod (Cod (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
~ Nat
(Cod (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
(->) (CNonCanonical)
[D] _ {0}:: Ob
(Op (Cod (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))))
~ Ob
(Cod
(Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))) (CDictCan)
[D] _ {0}:: Ob
(Op (Cod (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))))
~ Ob
(Cod
(Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))) (CDictCan)
[D] _ {0}:: Ob
(Op (Cod (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))))
~ Ob
(Cod
(Nat
(Yoneda (Nat (Nat s0 (->)) (->)))
(->))) (CNonCanonical)
[D] _ {0}:: Category
(Dom (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))) (CDictCan)
[D] _ {0}:: Functor
(Dom
(Nat
(Nat (Yoneda (Nat s0 (->))) (->)) (->))) (CDictCan(psc))
[D] _ {0}:: Dom (Dom (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
~ Op
(Dom
(Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))) (CDictCan)
[D] _ {0}:: Dom (Dom (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
~ Op
(Dom
(Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))) (CDictCan)
[D] _ {0}:: Dom (Dom (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
~ Op
(Dom
(Nat
(Nat (Yoneda (Nat s0 (->))) (->))
(->))) (CNonCanonical)
[D] _ {0}:: Cod (Dom (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
~ Nat
(Dom (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
(->) (CDictCan)
[D] _ {0}:: Cod (Dom (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
~ Nat
(Dom (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
(->) (CDictCan)
[D] _ {0}:: Cod (Dom (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
~ Nat
(Dom (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
(->) (CNonCanonical)
[D] _ {0}:: Ob
(Op (Dom (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))))
~ Ob
(Dom
(Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))) (CDictCan)
[D] _ {0}:: Ob
(Op (Dom (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))))
~ Ob
(Dom
(Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))) (CDictCan)
[D] _ {0}:: Ob
(Op (Dom (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))))
~ Ob
(Dom
(Nat
(Nat (Yoneda (Nat s0 (->))) (->))
(->))) (CNonCanonical)
[D] _ {0}:: Category
(Cod (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))) (CDictCan)
[D] _ {0}:: Functor
(Cod
(Nat
(Nat (Yoneda (Nat s0 (->))) (->)) (->))) (CDictCan(psc))
[D] _ {0}:: Dom (Cod (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
~ Op
(Cod
(Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))) (CDictCan)
[D] _ {0}:: Dom (Cod (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
~ Op
(Cod
(Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))) (CDictCan)
[D] _ {0}:: Dom (Cod (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
~ Op
(Cod
(Nat
(Nat (Yoneda (Nat s0 (->))) (->))
(->))) (CNonCanonical)
[D] _ {0}:: Cod (Cod (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
~ Nat
(Cod (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
(->) (CDictCan)
[D] _ {0}:: Cod (Cod (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
~ Nat
(Cod (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
(->) (CDictCan)
[D] _ {0}:: Cod (Cod (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
~ Nat
(Cod (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
(->) (CNonCanonical)
[D] _ {0}:: Ob
(Op (Cod (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))))
~ Ob
(Cod
(Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))) (CDictCan)
[D] _ {0}:: Ob
(Op (Cod (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))))
~ Ob
(Cod
(Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))) (CDictCan)
[D] _ {0}:: Ob
(Op (Cod (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))))
~ Ob
(Cod
(Nat
(Nat (Yoneda (Nat s0 (->))) (->))
(->))) (CNonCanonical)
[D] _ {0}:: Category
(Dom (Nat (Nat (Nat s0 (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Functor
(Dom (Nat (Nat (Nat s0 (->)) (->)) (->))) (CDictCan(psc))
[D] _ {0}:: Dom (Dom (Nat (Nat (Nat s0 (->)) (->)) (->)))
~ Op (Dom (Nat (Nat (Nat s0 (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Dom (Dom (Nat (Nat (Nat s0 (->)) (->)) (->)))
~ Op (Dom (Nat (Nat (Nat s0 (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Dom (Dom (Nat (Nat (Nat s0 (->)) (->)) (->)))
~ Op (Dom (Nat (Nat (Nat s0 (->)) (->)) (->))) (CNonCanonical)
[D] _ {0}:: Cod (Dom (Nat (Nat (Nat s0 (->)) (->)) (->)))
~ Nat (Dom (Nat (Nat (Nat s0 (->)) (->)) (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Dom (Nat (Nat (Nat s0 (->)) (->)) (->)))
~ Nat (Dom (Nat (Nat (Nat s0 (->)) (->)) (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Dom (Nat (Nat (Nat s0 (->)) (->)) (->)))
~ Nat
(Dom (Nat (Nat (Nat s0 (->)) (->)) (->)))
(->) (CNonCanonical)
[D] _ {0}:: Ob (Op (Dom (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Ob (Dom (Nat (Nat (Nat s0 (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Dom (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Ob (Dom (Nat (Nat (Nat s0 (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Dom (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Ob (Dom (Nat (Nat (Nat s0 (->)) (->)) (->))) (CNonCanonical)
[D] _ {0}:: Category
(Cod (Nat (Nat (Nat s0 (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Functor
(Cod (Nat (Nat (Nat s0 (->)) (->)) (->))) (CDictCan(psc))
[D] _ {0}:: Dom (Cod (Nat (Nat (Nat s0 (->)) (->)) (->)))
~ Op (Cod (Nat (Nat (Nat s0 (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Dom (Cod (Nat (Nat (Nat s0 (->)) (->)) (->)))
~ Op (Cod (Nat (Nat (Nat s0 (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Dom (Cod (Nat (Nat (Nat s0 (->)) (->)) (->)))
~ Op (Cod (Nat (Nat (Nat s0 (->)) (->)) (->))) (CNonCanonical)
[D] _ {0}:: Cod (Cod (Nat (Nat (Nat s0 (->)) (->)) (->)))
~ Nat (Cod (Nat (Nat (Nat s0 (->)) (->)) (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Cod (Nat (Nat (Nat s0 (->)) (->)) (->)))
~ Nat (Cod (Nat (Nat (Nat s0 (->)) (->)) (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Cod (Nat (Nat (Nat s0 (->)) (->)) (->)))
~ Nat
(Cod (Nat (Nat (Nat s0 (->)) (->)) (->)))
(->) (CNonCanonical)
[D] _ {0}:: Ob (Op (Cod (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Ob (Cod (Nat (Nat (Nat s0 (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Cod (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Ob (Cod (Nat (Nat (Nat s0 (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Cod (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Ob (Cod (Nat (Nat (Nat s0 (->)) (->)) (->))) (CNonCanonical)
[D] _ {0}:: Category
(Dom (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))) (CDictCan)
[D] _ {0}:: Functor
(Dom
(Yoneda
(Nat (Nat (Nat s0 (->)) (->)) (->)))) (CDictCan(psc))
[D] _ {0}:: Dom (Dom (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Op
(Dom
(Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))) (CDictCan)
[D] _ {0}:: Dom (Dom (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Op
(Dom
(Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))) (CDictCan)
[D] _ {0}:: Dom (Dom (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Op
(Dom
(Yoneda
(Nat (Nat (Nat s0 (->)) (->)) (->)))) (CNonCanonical)
[D] _ {0}:: Cod (Dom (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Nat
(Dom (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
(->) (CDictCan)
[D] _ {0}:: Cod (Dom (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Nat
(Dom (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
(->) (CDictCan)
[D] _ {0}:: Cod (Dom (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Nat
(Dom (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
(->) (CNonCanonical)
[D] _ {0}:: Ob
(Op (Dom (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))))
~ Ob
(Dom
(Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))) (CDictCan)
[D] _ {0}:: Ob
(Op (Dom (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))))
~ Ob
(Dom
(Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))) (CDictCan)
[D] _ {0}:: Ob
(Op (Dom (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))))
~ Ob
(Dom
(Yoneda
(Nat (Nat (Nat s0 (->)) (->)) (->)))) (CNonCanonical)
[D] _ {0}:: Category
(Cod (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))) (CDictCan)
[D] _ {0}:: Functor
(Cod
(Yoneda
(Nat (Nat (Nat s0 (->)) (->)) (->)))) (CDictCan(psc))
[D] _ {0}:: Dom (Cod (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Op
(Cod
(Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))) (CDictCan)
[D] _ {0}:: Dom (Cod (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Op
(Cod
(Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))) (CDictCan)
[D] _ {0}:: Dom (Cod (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Op
(Cod
(Yoneda
(Nat (Nat (Nat s0 (->)) (->)) (->)))) (CNonCanonical)
[D] _ {0}:: Cod (Cod (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Nat
(Cod (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
(->) (CDictCan)
[D] _ {0}:: Cod (Cod (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Nat
(Cod (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
(->) (CDictCan)
[D] _ {0}:: Cod (Cod (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Nat
(Cod (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->))))
(->) (CNonCanonical)
[D] _ {0}:: Ob
(Op (Cod (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))))
~ Ob
(Cod
(Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))) (CDictCan)
[D] _ {0}:: Ob
(Op (Cod (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))))
~ Ob
(Cod
(Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))) (CDictCan)
[D] _ {0}:: Ob
(Op (Cod (Yoneda (Nat (Nat (Nat s0 (->)) (->)) (->)))))
~ Ob
(Cod
(Yoneda
(Nat (Nat (Nat s0 (->)) (->)) (->)))) (CNonCanonical)
[D] _ {0}:: Category
(Dom (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))) (CDictCan)
[D] _ {0}:: Functor
(Dom
(Nat
(Yoneda (Nat (Nat s0 (->)) (->))) (->))) (CDictCan(psc))
[D] _ {0}:: Dom (Dom (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
~ Op
(Dom
(Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))) (CDictCan)
[D] _ {0}:: Dom (Dom (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
~ Op
(Dom
(Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))) (CDictCan)
[D] _ {0}:: Dom (Dom (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
~ Op
(Dom
(Nat
(Yoneda (Nat (Nat s0 (->)) (->)))
(->))) (CNonCanonical)
[D] _ {0}:: Cod (Dom (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
~ Nat
(Dom (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
(->) (CDictCan)
[D] _ {0}:: Cod (Dom (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
~ Nat
(Dom (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
(->) (CDictCan)
[D] _ {0}:: Cod (Dom (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
~ Nat
(Dom (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
(->) (CNonCanonical)
[D] _ {0}:: Ob
(Op (Dom (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))))
~ Ob
(Dom
(Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))) (CDictCan)
[D] _ {0}:: Ob
(Op (Dom (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))))
~ Ob
(Dom
(Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))) (CDictCan)
[D] _ {0}:: Ob
(Op (Dom (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))))
~ Ob
(Dom
(Nat
(Yoneda (Nat (Nat s0 (->)) (->)))
(->))) (CNonCanonical)
[D] _ {0}:: Category
(Cod (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))) (CDictCan)
[D] _ {0}:: Functor
(Cod
(Nat
(Yoneda (Nat (Nat s0 (->)) (->))) (->))) (CDictCan(psc))
[D] _ {0}:: Dom (Cod (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
~ Op
(Cod
(Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))) (CDictCan)
[D] _ {0}:: Dom (Cod (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
~ Op
(Cod
(Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))) (CDictCan)
[D] _ {0}:: Dom (Cod (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
~ Op
(Cod
(Nat
(Yoneda (Nat (Nat s0 (->)) (->)))
(->))) (CNonCanonical)
[D] _ {0}:: Cod (Cod (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
~ Nat
(Cod (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
(->) (CDictCan)
[D] _ {0}:: Cod (Cod (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
~ Nat
(Cod (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
(->) (CDictCan)
[D] _ {0}:: Cod (Cod (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
~ Nat
(Cod (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->)))
(->) (CNonCanonical)
[D] _ {0}:: Ob
(Op (Cod (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))))
~ Ob
(Cod
(Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))) (CDictCan)
[D] _ {0}:: Ob
(Op (Cod (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))))
~ Ob
(Cod
(Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))) (CDictCan)
[D] _ {0}:: Ob
(Op (Cod (Nat (Yoneda (Nat (Nat s0 (->)) (->))) (->))))
~ Ob
(Cod
(Nat
(Yoneda (Nat (Nat s0 (->)) (->)))
(->))) (CNonCanonical)
[D] _ {0}:: Category
(Dom (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))) (CDictCan)
[D] _ {0}:: Functor
(Dom
(Nat
(Nat (Yoneda (Nat s0 (->))) (->)) (->))) (CDictCan(psc))
[D] _ {0}:: Dom (Dom (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
~ Op
(Dom
(Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))) (CDictCan)
[D] _ {0}:: Dom (Dom (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
~ Op
(Dom
(Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))) (CDictCan)
[D] _ {0}:: Dom (Dom (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
~ Op
(Dom
(Nat
(Nat (Yoneda (Nat s0 (->))) (->))
(->))) (CNonCanonical)
[D] _ {0}:: Cod (Dom (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
~ Nat
(Dom (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
(->) (CDictCan)
[D] _ {0}:: Cod (Dom (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
~ Nat
(Dom (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
(->) (CDictCan)
[D] _ {0}:: Cod (Dom (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
~ Nat
(Dom (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
(->) (CNonCanonical)
[D] _ {0}:: Ob
(Op (Dom (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))))
~ Ob
(Dom
(Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))) (CDictCan)
[D] _ {0}:: Ob
(Op (Dom (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))))
~ Ob
(Dom
(Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))) (CDictCan)
[D] _ {0}:: Ob
(Op (Dom (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))))
~ Ob
(Dom
(Nat
(Nat (Yoneda (Nat s0 (->))) (->))
(->))) (CNonCanonical)
[D] _ {0}:: Category
(Cod (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))) (CDictCan)
[D] _ {0}:: Functor
(Cod
(Nat
(Nat (Yoneda (Nat s0 (->))) (->)) (->))) (CDictCan(psc))
[D] _ {0}:: Dom (Cod (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
~ Op
(Cod
(Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))) (CDictCan)
[D] _ {0}:: Dom (Cod (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
~ Op
(Cod
(Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))) (CDictCan)
[D] _ {0}:: Dom (Cod (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
~ Op
(Cod
(Nat
(Nat (Yoneda (Nat s0 (->))) (->))
(->))) (CNonCanonical)
[D] _ {0}:: Cod (Cod (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
~ Nat
(Cod (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
(->) (CDictCan)
[D] _ {0}:: Cod (Cod (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
~ Nat
(Cod (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
(->) (CDictCan)
[D] _ {0}:: Cod (Cod (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
~ Nat
(Cod (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->)))
(->) (CNonCanonical)
[D] _ {0}:: Ob
(Op (Cod (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))))
~ Ob
(Cod
(Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))) (CDictCan)
[D] _ {0}:: Ob
(Op (Cod (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))))
~ Ob
(Cod
(Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))) (CDictCan)
[D] _ {0}:: Ob
(Op (Cod (Nat (Nat (Yoneda (Nat s0 (->))) (->)) (->))))
~ Ob
(Cod
(Nat
(Nat (Yoneda (Nat s0 (->))) (->))
(->))) (CNonCanonical)
[D] _ {0}:: Category
(Dom (Nat (Nat (Nat s0 (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Functor
(Dom (Nat (Nat (Nat s0 (->)) (->)) (->))) (CDictCan(psc))
[D] _ {0}:: Dom (Dom (Nat (Nat (Nat s0 (->)) (->)) (->)))
~ Op (Dom (Nat (Nat (Nat s0 (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Dom (Dom (Nat (Nat (Nat s0 (->)) (->)) (->)))
~ Op (Dom (Nat (Nat (Nat s0 (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Dom (Dom (Nat (Nat (Nat s0 (->)) (->)) (->)))
~ Op (Dom (Nat (Nat (Nat s0 (->)) (->)) (->))) (CNonCanonical)
[D] _ {0}:: Cod (Dom (Nat (Nat (Nat s0 (->)) (->)) (->)))
~ Nat (Dom (Nat (Nat (Nat s0 (->)) (->)) (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Dom (Nat (Nat (Nat s0 (->)) (->)) (->)))
~ Nat (Dom (Nat (Nat (Nat s0 (->)) (->)) (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Dom (Nat (Nat (Nat s0 (->)) (->)) (->)))
~ Nat
(Dom (Nat (Nat (Nat s0 (->)) (->)) (->)))
(->) (CNonCanonical)
[D] _ {0}:: Ob (Op (Dom (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Ob (Dom (Nat (Nat (Nat s0 (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Dom (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Ob (Dom (Nat (Nat (Nat s0 (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Dom (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Ob (Dom (Nat (Nat (Nat s0 (->)) (->)) (->))) (CNonCanonical)
[D] _ {0}:: Category
(Cod (Nat (Nat (Nat s0 (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Functor
(Cod (Nat (Nat (Nat s0 (->)) (->)) (->))) (CDictCan(psc))
[D] _ {0}:: Dom (Cod (Nat (Nat (Nat s0 (->)) (->)) (->)))
~ Op (Cod (Nat (Nat (Nat s0 (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Dom (Cod (Nat (Nat (Nat s0 (->)) (->)) (->)))
~ Op (Cod (Nat (Nat (Nat s0 (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Dom (Cod (Nat (Nat (Nat s0 (->)) (->)) (->)))
~ Op (Cod (Nat (Nat (Nat s0 (->)) (->)) (->))) (CNonCanonical)
[D] _ {0}:: Cod (Cod (Nat (Nat (Nat s0 (->)) (->)) (->)))
~ Nat (Cod (Nat (Nat (Nat s0 (->)) (->)) (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Cod (Nat (Nat (Nat s0 (->)) (->)) (->)))
~ Nat (Cod (Nat (Nat (Nat s0 (->)) (->)) (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Cod (Nat (Nat (Nat s0 (->)) (->)) (->)))
~ Nat
(Cod (Nat (Nat (Nat s0 (->)) (->)) (->)))
(->) (CNonCanonical)
[D] _ {0}:: Ob (Op (Cod (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Ob (Cod (Nat (Nat (Nat s0 (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Cod (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Ob (Cod (Nat (Nat (Nat s0 (->)) (->)) (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Cod (Nat (Nat (Nat s0 (->)) (->)) (->))))
~ Ob (Cod (Nat (Nat (Nat s0 (->)) (->)) (->))) (CNonCanonical)
[D] _ {0}:: Category
(Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))) (CDictCan)
[D] _ {0}:: Functor
(Dom
(Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))) (CDictCan(psc))
[D] _ {0}:: Dom (Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
~ Op (Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))) (CDictCan)
[D] _ {0}:: Dom (Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
~ Op (Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))) (CDictCan)
[D] _ {0}:: Dom (Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
~ Op
(Dom
(Yoneda
(Nat (Yoneda (Nat s0 (->))) (->)))) (CNonCanonical)
[D] _ {0}:: Cod (Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
~ Nat
(Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
(->) (CDictCan)
[D] _ {0}:: Cod (Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
~ Nat
(Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
(->) (CDictCan)
[D] _ {0}:: Cod (Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
~ Nat
(Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
(->) (CNonCanonical)
[D] _ {0}:: Ob
(Op (Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))))
~ Ob (Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))) (CDictCan)
[D] _ {0}:: Ob
(Op (Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))))
~ Ob (Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))) (CDictCan)
[D] _ {0}:: Ob
(Op (Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))))
~ Ob
(Dom
(Yoneda
(Nat (Yoneda (Nat s0 (->))) (->)))) (CNonCanonical)
[D] _ {0}:: Category
(Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))) (CDictCan)
[D] _ {0}:: Functor
(Cod
(Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))) (CDictCan(psc))
[D] _ {0}:: Dom (Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
~ Op (Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))) (CDictCan)
[D] _ {0}:: Dom (Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
~ Op (Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))) (CDictCan)
[D] _ {0}:: Dom (Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
~ Op
(Cod
(Yoneda
(Nat (Yoneda (Nat s0 (->))) (->)))) (CNonCanonical)
[D] _ {0}:: Cod (Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
~ Nat
(Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
(->) (CDictCan)
[D] _ {0}:: Cod (Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
~ Nat
(Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
(->) (CDictCan)
[D] _ {0}:: Cod (Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
~ Nat
(Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
(->) (CNonCanonical)
[D] _ {0}:: Ob
(Op (Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))))
~ Ob (Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))) (CDictCan)
[D] _ {0}:: Ob
(Op (Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))))
~ Ob (Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))) (CDictCan)
[D] _ {0}:: Ob
(Op (Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))))
~ Ob
(Cod
(Yoneda
(Nat (Yoneda (Nat s0 (->))) (->)))) (CNonCanonical)
[D] _ {0}:: Category
(Dom (Yoneda (Nat (Nat s0 (->)) (->)))) (CDictCan)
[D] _ {0}:: Functor
(Dom (Yoneda (Nat (Nat s0 (->)) (->)))) (CDictCan(psc))
[D] _ {0}:: Dom (Dom (Yoneda (Nat (Nat s0 (->)) (->))))
~ Op (Dom (Yoneda (Nat (Nat s0 (->)) (->)))) (CDictCan)
[D] _ {0}:: Dom (Dom (Yoneda (Nat (Nat s0 (->)) (->))))
~ Op (Dom (Yoneda (Nat (Nat s0 (->)) (->)))) (CDictCan)
[D] _ {0}:: Dom (Dom (Yoneda (Nat (Nat s0 (->)) (->))))
~ Op (Dom (Yoneda (Nat (Nat s0 (->)) (->)))) (CNonCanonical)
[D] _ {0}:: Cod (Dom (Yoneda (Nat (Nat s0 (->)) (->))))
~ Nat (Dom (Yoneda (Nat (Nat s0 (->)) (->)))) (->) (CDictCan)
[D] _ {0}:: Cod (Dom (Yoneda (Nat (Nat s0 (->)) (->))))
~ Nat (Dom (Yoneda (Nat (Nat s0 (->)) (->)))) (->) (CDictCan)
[D] _ {0}:: Cod (Dom (Yoneda (Nat (Nat s0 (->)) (->))))
~ Nat
(Dom (Yoneda (Nat (Nat s0 (->)) (->)))) (->) (CNonCanonical)
[D] _ {0}:: Ob (Op (Dom (Yoneda (Nat (Nat s0 (->)) (->)))))
~ Ob (Dom (Yoneda (Nat (Nat s0 (->)) (->)))) (CDictCan)
[D] _ {0}:: Ob (Op (Dom (Yoneda (Nat (Nat s0 (->)) (->)))))
~ Ob (Dom (Yoneda (Nat (Nat s0 (->)) (->)))) (CDictCan)
[D] _ {0}:: Ob (Op (Dom (Yoneda (Nat (Nat s0 (->)) (->)))))
~ Ob (Dom (Yoneda (Nat (Nat s0 (->)) (->)))) (CNonCanonical)
[D] _ {0}:: Category
(Cod (Yoneda (Nat (Nat s0 (->)) (->)))) (CDictCan)
[D] _ {0}:: Functor
(Cod (Yoneda (Nat (Nat s0 (->)) (->)))) (CDictCan(psc))
[D] _ {0}:: Dom (Cod (Yoneda (Nat (Nat s0 (->)) (->))))
~ Op (Cod (Yoneda (Nat (Nat s0 (->)) (->)))) (CDictCan)
[D] _ {0}:: Dom (Cod (Yoneda (Nat (Nat s0 (->)) (->))))
~ Op (Cod (Yoneda (Nat (Nat s0 (->)) (->)))) (CDictCan)
[D] _ {0}:: Dom (Cod (Yoneda (Nat (Nat s0 (->)) (->))))
~ Op (Cod (Yoneda (Nat (Nat s0 (->)) (->)))) (CNonCanonical)
[D] _ {0}:: Cod (Cod (Yoneda (Nat (Nat s0 (->)) (->))))
~ Nat (Cod (Yoneda (Nat (Nat s0 (->)) (->)))) (->) (CDictCan)
[D] _ {0}:: Cod (Cod (Yoneda (Nat (Nat s0 (->)) (->))))
~ Nat (Cod (Yoneda (Nat (Nat s0 (->)) (->)))) (->) (CDictCan)
[D] _ {0}:: Cod (Cod (Yoneda (Nat (Nat s0 (->)) (->))))
~ Nat
(Cod (Yoneda (Nat (Nat s0 (->)) (->)))) (->) (CNonCanonical)
[D] _ {0}:: Ob (Op (Cod (Yoneda (Nat (Nat s0 (->)) (->)))))
~ Ob (Cod (Yoneda (Nat (Nat s0 (->)) (->)))) (CDictCan)
[D] _ {0}:: Ob (Op (Cod (Yoneda (Nat (Nat s0 (->)) (->)))))
~ Ob (Cod (Yoneda (Nat (Nat s0 (->)) (->)))) (CDictCan)
[D] _ {0}:: Ob (Op (Cod (Yoneda (Nat (Nat s0 (->)) (->)))))
~ Ob (Cod (Yoneda (Nat (Nat s0 (->)) (->)))) (CNonCanonical)
[D] _ {0}:: Category
(Dom (Nat (Yoneda (Nat s0 (->))) (->))) (CDictCan)
[D] _ {0}:: Functor
(Dom (Nat (Yoneda (Nat s0 (->))) (->))) (CDictCan(psc))
[D] _ {0}:: Dom (Dom (Nat (Yoneda (Nat s0 (->))) (->)))
~ Op (Dom (Nat (Yoneda (Nat s0 (->))) (->))) (CDictCan)
[D] _ {0}:: Dom (Dom (Nat (Yoneda (Nat s0 (->))) (->)))
~ Op (Dom (Nat (Yoneda (Nat s0 (->))) (->))) (CDictCan)
[D] _ {0}:: Dom (Dom (Nat (Yoneda (Nat s0 (->))) (->)))
~ Op (Dom (Nat (Yoneda (Nat s0 (->))) (->))) (CNonCanonical)
[D] _ {0}:: Cod (Dom (Nat (Yoneda (Nat s0 (->))) (->)))
~ Nat (Dom (Nat (Yoneda (Nat s0 (->))) (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Dom (Nat (Yoneda (Nat s0 (->))) (->)))
~ Nat (Dom (Nat (Yoneda (Nat s0 (->))) (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Dom (Nat (Yoneda (Nat s0 (->))) (->)))
~ Nat
(Dom (Nat (Yoneda (Nat s0 (->))) (->))) (->) (CNonCanonical)
[D] _ {0}:: Ob (Op (Dom (Nat (Yoneda (Nat s0 (->))) (->))))
~ Ob (Dom (Nat (Yoneda (Nat s0 (->))) (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Dom (Nat (Yoneda (Nat s0 (->))) (->))))
~ Ob (Dom (Nat (Yoneda (Nat s0 (->))) (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Dom (Nat (Yoneda (Nat s0 (->))) (->))))
~ Ob (Dom (Nat (Yoneda (Nat s0 (->))) (->))) (CNonCanonical)
[D] _ {0}:: Category
(Cod (Nat (Yoneda (Nat s0 (->))) (->))) (CDictCan)
[D] _ {0}:: Functor
(Cod (Nat (Yoneda (Nat s0 (->))) (->))) (CDictCan(psc))
[D] _ {0}:: Dom (Cod (Nat (Yoneda (Nat s0 (->))) (->)))
~ Op (Cod (Nat (Yoneda (Nat s0 (->))) (->))) (CDictCan)
[D] _ {0}:: Dom (Cod (Nat (Yoneda (Nat s0 (->))) (->)))
~ Op (Cod (Nat (Yoneda (Nat s0 (->))) (->))) (CDictCan)
[D] _ {0}:: Dom (Cod (Nat (Yoneda (Nat s0 (->))) (->)))
~ Op (Cod (Nat (Yoneda (Nat s0 (->))) (->))) (CNonCanonical)
[D] _ {0}:: Cod (Cod (Nat (Yoneda (Nat s0 (->))) (->)))
~ Nat (Cod (Nat (Yoneda (Nat s0 (->))) (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Cod (Nat (Yoneda (Nat s0 (->))) (->)))
~ Nat (Cod (Nat (Yoneda (Nat s0 (->))) (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Cod (Nat (Yoneda (Nat s0 (->))) (->)))
~ Nat
(Cod (Nat (Yoneda (Nat s0 (->))) (->))) (->) (CNonCanonical)
[D] _ {0}:: Ob (Op (Cod (Nat (Yoneda (Nat s0 (->))) (->))))
~ Ob (Cod (Nat (Yoneda (Nat s0 (->))) (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Cod (Nat (Yoneda (Nat s0 (->))) (->))))
~ Ob (Cod (Nat (Yoneda (Nat s0 (->))) (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Cod (Nat (Yoneda (Nat s0 (->))) (->))))
~ Ob (Cod (Nat (Yoneda (Nat s0 (->))) (->))) (CNonCanonical)
[D] _ {0}:: Category (Dom (Nat (Nat s0 (->)) (->))) (CDictCan)
[D] _ {0}:: Functor (Dom (Nat (Nat s0 (->)) (->))) (CDictCan(psc))
[D] _ {0}:: Dom (Dom (Nat (Nat s0 (->)) (->)))
~ Op (Dom (Nat (Nat s0 (->)) (->))) (CDictCan)
[D] _ {0}:: Dom (Dom (Nat (Nat s0 (->)) (->)))
~ Op (Dom (Nat (Nat s0 (->)) (->))) (CDictCan)
[D] _ {0}:: Dom (Dom (Nat (Nat s0 (->)) (->)))
~ Op (Dom (Nat (Nat s0 (->)) (->))) (CNonCanonical)
[D] _ {0}:: Cod (Dom (Nat (Nat s0 (->)) (->)))
~ Nat (Dom (Nat (Nat s0 (->)) (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Dom (Nat (Nat s0 (->)) (->)))
~ Nat (Dom (Nat (Nat s0 (->)) (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Dom (Nat (Nat s0 (->)) (->)))
~ Nat (Dom (Nat (Nat s0 (->)) (->))) (->) (CNonCanonical)
[D] _ {0}:: Ob (Op (Dom (Nat (Nat s0 (->)) (->))))
~ Ob (Dom (Nat (Nat s0 (->)) (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Dom (Nat (Nat s0 (->)) (->))))
~ Ob (Dom (Nat (Nat s0 (->)) (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Dom (Nat (Nat s0 (->)) (->))))
~ Ob (Dom (Nat (Nat s0 (->)) (->))) (CNonCanonical)
[D] _ {0}:: Category (Cod (Nat (Nat s0 (->)) (->))) (CDictCan)
[D] _ {0}:: Functor (Cod (Nat (Nat s0 (->)) (->))) (CDictCan(psc))
[D] _ {0}:: Dom (Cod (Nat (Nat s0 (->)) (->)))
~ Op (Cod (Nat (Nat s0 (->)) (->))) (CDictCan)
[D] _ {0}:: Dom (Cod (Nat (Nat s0 (->)) (->)))
~ Op (Cod (Nat (Nat s0 (->)) (->))) (CDictCan)
[D] _ {0}:: Dom (Cod (Nat (Nat s0 (->)) (->)))
~ Op (Cod (Nat (Nat s0 (->)) (->))) (CNonCanonical)
[D] _ {0}:: Cod (Cod (Nat (Nat s0 (->)) (->)))
~ Nat (Cod (Nat (Nat s0 (->)) (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Cod (Nat (Nat s0 (->)) (->)))
~ Nat (Cod (Nat (Nat s0 (->)) (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Cod (Nat (Nat s0 (->)) (->)))
~ Nat (Cod (Nat (Nat s0 (->)) (->))) (->) (CNonCanonical)
[D] _ {0}:: Ob (Op (Cod (Nat (Nat s0 (->)) (->))))
~ Ob (Cod (Nat (Nat s0 (->)) (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Cod (Nat (Nat s0 (->)) (->))))
~ Ob (Cod (Nat (Nat s0 (->)) (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Cod (Nat (Nat s0 (->)) (->))))
~ Ob (Cod (Nat (Nat s0 (->)) (->))) (CNonCanonical)
[D] _ {0}:: Category
(Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))) (CDictCan)
[D] _ {0}:: Functor
(Dom
(Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))) (CDictCan(psc))
[D] _ {0}:: Dom (Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
~ Op (Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))) (CDictCan)
[D] _ {0}:: Dom (Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
~ Op (Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))) (CDictCan)
[D] _ {0}:: Dom (Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
~ Op
(Dom
(Yoneda
(Nat (Yoneda (Nat s0 (->))) (->)))) (CNonCanonical)
[D] _ {0}:: Cod (Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
~ Nat
(Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
(->) (CDictCan)
[D] _ {0}:: Cod (Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
~ Nat
(Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
(->) (CDictCan)
[D] _ {0}:: Cod (Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
~ Nat
(Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
(->) (CNonCanonical)
[D] _ {0}:: Ob
(Op (Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))))
~ Ob (Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))) (CDictCan)
[D] _ {0}:: Ob
(Op (Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))))
~ Ob (Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))) (CDictCan)
[D] _ {0}:: Ob
(Op (Dom (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))))
~ Ob
(Dom
(Yoneda
(Nat (Yoneda (Nat s0 (->))) (->)))) (CNonCanonical)
[D] _ {0}:: Category
(Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))) (CDictCan)
[D] _ {0}:: Functor
(Cod
(Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))) (CDictCan(psc))
[D] _ {0}:: Dom (Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
~ Op (Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))) (CDictCan)
[D] _ {0}:: Dom (Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
~ Op (Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))) (CDictCan)
[D] _ {0}:: Dom (Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
~ Op
(Cod
(Yoneda
(Nat (Yoneda (Nat s0 (->))) (->)))) (CNonCanonical)
[D] _ {0}:: Cod (Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
~ Nat
(Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
(->) (CDictCan)
[D] _ {0}:: Cod (Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
~ Nat
(Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
(->) (CDictCan)
[D] _ {0}:: Cod (Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
~ Nat
(Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->))))
(->) (CNonCanonical)
[D] _ {0}:: Ob
(Op (Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))))
~ Ob (Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))) (CDictCan)
[D] _ {0}:: Ob
(Op (Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))))
~ Ob (Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))) (CDictCan)
[D] _ {0}:: Ob
(Op (Cod (Yoneda (Nat (Yoneda (Nat s0 (->))) (->)))))
~ Ob
(Cod
(Yoneda
(Nat (Yoneda (Nat s0 (->))) (->)))) (CNonCanonical)
[D] _ {0}:: Category
(Dom (Yoneda (Nat (Nat s0 (->)) (->)))) (CDictCan)
[D] _ {0}:: Functor
(Dom (Yoneda (Nat (Nat s0 (->)) (->)))) (CDictCan(psc))
[D] _ {0}:: Dom (Dom (Yoneda (Nat (Nat s0 (->)) (->))))
~ Op (Dom (Yoneda (Nat (Nat s0 (->)) (->)))) (CDictCan)
[D] _ {0}:: Dom (Dom (Yoneda (Nat (Nat s0 (->)) (->))))
~ Op (Dom (Yoneda (Nat (Nat s0 (->)) (->)))) (CDictCan)
[D] _ {0}:: Dom (Dom (Yoneda (Nat (Nat s0 (->)) (->))))
~ Op (Dom (Yoneda (Nat (Nat s0 (->)) (->)))) (CNonCanonical)
[D] _ {0}:: Cod (Dom (Yoneda (Nat (Nat s0 (->)) (->))))
~ Nat (Dom (Yoneda (Nat (Nat s0 (->)) (->)))) (->) (CDictCan)
[D] _ {0}:: Cod (Dom (Yoneda (Nat (Nat s0 (->)) (->))))
~ Nat (Dom (Yoneda (Nat (Nat s0 (->)) (->)))) (->) (CDictCan)
[D] _ {0}:: Cod (Dom (Yoneda (Nat (Nat s0 (->)) (->))))
~ Nat
(Dom (Yoneda (Nat (Nat s0 (->)) (->)))) (->) (CNonCanonical)
[D] _ {0}:: Ob (Op (Dom (Yoneda (Nat (Nat s0 (->)) (->)))))
~ Ob (Dom (Yoneda (Nat (Nat s0 (->)) (->)))) (CDictCan)
[D] _ {0}:: Ob (Op (Dom (Yoneda (Nat (Nat s0 (->)) (->)))))
~ Ob (Dom (Yoneda (Nat (Nat s0 (->)) (->)))) (CDictCan)
[D] _ {0}:: Ob (Op (Dom (Yoneda (Nat (Nat s0 (->)) (->)))))
~ Ob (Dom (Yoneda (Nat (Nat s0 (->)) (->)))) (CNonCanonical)
[D] _ {0}:: Category
(Cod (Yoneda (Nat (Nat s0 (->)) (->)))) (CDictCan)
[D] _ {0}:: Functor
(Cod (Yoneda (Nat (Nat s0 (->)) (->)))) (CDictCan(psc))
[D] _ {0}:: Dom (Cod (Yoneda (Nat (Nat s0 (->)) (->))))
~ Op (Cod (Yoneda (Nat (Nat s0 (->)) (->)))) (CDictCan)
[D] _ {0}:: Dom (Cod (Yoneda (Nat (Nat s0 (->)) (->))))
~ Op (Cod (Yoneda (Nat (Nat s0 (->)) (->)))) (CDictCan)
[D] _ {0}:: Dom (Cod (Yoneda (Nat (Nat s0 (->)) (->))))
~ Op (Cod (Yoneda (Nat (Nat s0 (->)) (->)))) (CNonCanonical)
[D] _ {0}:: Cod (Cod (Yoneda (Nat (Nat s0 (->)) (->))))
~ Nat (Cod (Yoneda (Nat (Nat s0 (->)) (->)))) (->) (CDictCan)
[D] _ {0}:: Cod (Cod (Yoneda (Nat (Nat s0 (->)) (->))))
~ Nat (Cod (Yoneda (Nat (Nat s0 (->)) (->)))) (->) (CDictCan)
[D] _ {0}:: Cod (Cod (Yoneda (Nat (Nat s0 (->)) (->))))
~ Nat
(Cod (Yoneda (Nat (Nat s0 (->)) (->)))) (->) (CNonCanonical)
[D] _ {0}:: Ob (Op (Cod (Yoneda (Nat (Nat s0 (->)) (->)))))
~ Ob (Cod (Yoneda (Nat (Nat s0 (->)) (->)))) (CDictCan)
[D] _ {0}:: Ob (Op (Cod (Yoneda (Nat (Nat s0 (->)) (->)))))
~ Ob (Cod (Yoneda (Nat (Nat s0 (->)) (->)))) (CDictCan)
[D] _ {0}:: Ob (Op (Cod (Yoneda (Nat (Nat s0 (->)) (->)))))
~ Ob (Cod (Yoneda (Nat (Nat s0 (->)) (->)))) (CNonCanonical)
[D] _ {0}:: Category
(Dom (Nat (Yoneda (Nat s0 (->))) (->))) (CDictCan)
[D] _ {0}:: Functor
(Dom (Nat (Yoneda (Nat s0 (->))) (->))) (CDictCan(psc))
[D] _ {0}:: Dom (Dom (Nat (Yoneda (Nat s0 (->))) (->)))
~ Op (Dom (Nat (Yoneda (Nat s0 (->))) (->))) (CDictCan)
[D] _ {0}:: Dom (Dom (Nat (Yoneda (Nat s0 (->))) (->)))
~ Op (Dom (Nat (Yoneda (Nat s0 (->))) (->))) (CDictCan)
[D] _ {0}:: Dom (Dom (Nat (Yoneda (Nat s0 (->))) (->)))
~ Op (Dom (Nat (Yoneda (Nat s0 (->))) (->))) (CNonCanonical)
[D] _ {0}:: Cod (Dom (Nat (Yoneda (Nat s0 (->))) (->)))
~ Nat (Dom (Nat (Yoneda (Nat s0 (->))) (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Dom (Nat (Yoneda (Nat s0 (->))) (->)))
~ Nat (Dom (Nat (Yoneda (Nat s0 (->))) (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Dom (Nat (Yoneda (Nat s0 (->))) (->)))
~ Nat
(Dom (Nat (Yoneda (Nat s0 (->))) (->))) (->) (CNonCanonical)
[D] _ {0}:: Ob (Op (Dom (Nat (Yoneda (Nat s0 (->))) (->))))
~ Ob (Dom (Nat (Yoneda (Nat s0 (->))) (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Dom (Nat (Yoneda (Nat s0 (->))) (->))))
~ Ob (Dom (Nat (Yoneda (Nat s0 (->))) (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Dom (Nat (Yoneda (Nat s0 (->))) (->))))
~ Ob (Dom (Nat (Yoneda (Nat s0 (->))) (->))) (CNonCanonical)
[D] _ {0}:: Category
(Cod (Nat (Yoneda (Nat s0 (->))) (->))) (CDictCan)
[D] _ {0}:: Functor
(Cod (Nat (Yoneda (Nat s0 (->))) (->))) (CDictCan(psc))
[D] _ {0}:: Dom (Cod (Nat (Yoneda (Nat s0 (->))) (->)))
~ Op (Cod (Nat (Yoneda (Nat s0 (->))) (->))) (CDictCan)
[D] _ {0}:: Dom (Cod (Nat (Yoneda (Nat s0 (->))) (->)))
~ Op (Cod (Nat (Yoneda (Nat s0 (->))) (->))) (CDictCan)
[D] _ {0}:: Dom (Cod (Nat (Yoneda (Nat s0 (->))) (->)))
~ Op (Cod (Nat (Yoneda (Nat s0 (->))) (->))) (CNonCanonical)
[D] _ {0}:: Cod (Cod (Nat (Yoneda (Nat s0 (->))) (->)))
~ Nat (Cod (Nat (Yoneda (Nat s0 (->))) (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Cod (Nat (Yoneda (Nat s0 (->))) (->)))
~ Nat (Cod (Nat (Yoneda (Nat s0 (->))) (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Cod (Nat (Yoneda (Nat s0 (->))) (->)))
~ Nat
(Cod (Nat (Yoneda (Nat s0 (->))) (->))) (->) (CNonCanonical)
[D] _ {0}:: Ob (Op (Cod (Nat (Yoneda (Nat s0 (->))) (->))))
~ Ob (Cod (Nat (Yoneda (Nat s0 (->))) (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Cod (Nat (Yoneda (Nat s0 (->))) (->))))
~ Ob (Cod (Nat (Yoneda (Nat s0 (->))) (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Cod (Nat (Yoneda (Nat s0 (->))) (->))))
~ Ob (Cod (Nat (Yoneda (Nat s0 (->))) (->))) (CNonCanonical)
[D] _ {0}:: Category (Dom (Nat (Nat s0 (->)) (->))) (CDictCan)
[D] _ {0}:: Functor (Dom (Nat (Nat s0 (->)) (->))) (CDictCan(psc))
[D] _ {0}:: Dom (Dom (Nat (Nat s0 (->)) (->)))
~ Op (Dom (Nat (Nat s0 (->)) (->))) (CDictCan)
[D] _ {0}:: Dom (Dom (Nat (Nat s0 (->)) (->)))
~ Op (Dom (Nat (Nat s0 (->)) (->))) (CDictCan)
[D] _ {0}:: Dom (Dom (Nat (Nat s0 (->)) (->)))
~ Op (Dom (Nat (Nat s0 (->)) (->))) (CNonCanonical)
[D] _ {0}:: Cod (Dom (Nat (Nat s0 (->)) (->)))
~ Nat (Dom (Nat (Nat s0 (->)) (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Dom (Nat (Nat s0 (->)) (->)))
~ Nat (Dom (Nat (Nat s0 (->)) (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Dom (Nat (Nat s0 (->)) (->)))
~ Nat (Dom (Nat (Nat s0 (->)) (->))) (->) (CNonCanonical)
[D] _ {0}:: Ob (Op (Dom (Nat (Nat s0 (->)) (->))))
~ Ob (Dom (Nat (Nat s0 (->)) (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Dom (Nat (Nat s0 (->)) (->))))
~ Ob (Dom (Nat (Nat s0 (->)) (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Dom (Nat (Nat s0 (->)) (->))))
~ Ob (Dom (Nat (Nat s0 (->)) (->))) (CNonCanonical)
[D] _ {0}:: Category (Cod (Nat (Nat s0 (->)) (->))) (CDictCan)
[D] _ {0}:: Functor (Cod (Nat (Nat s0 (->)) (->))) (CDictCan(psc))
[D] _ {0}:: Dom (Cod (Nat (Nat s0 (->)) (->)))
~ Op (Cod (Nat (Nat s0 (->)) (->))) (CDictCan)
[D] _ {0}:: Dom (Cod (Nat (Nat s0 (->)) (->)))
~ Op (Cod (Nat (Nat s0 (->)) (->))) (CDictCan)
[D] _ {0}:: Dom (Cod (Nat (Nat s0 (->)) (->)))
~ Op (Cod (Nat (Nat s0 (->)) (->))) (CNonCanonical)
[D] _ {0}:: Cod (Cod (Nat (Nat s0 (->)) (->)))
~ Nat (Cod (Nat (Nat s0 (->)) (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Cod (Nat (Nat s0 (->)) (->)))
~ Nat (Cod (Nat (Nat s0 (->)) (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Cod (Nat (Nat s0 (->)) (->)))
~ Nat (Cod (Nat (Nat s0 (->)) (->))) (->) (CNonCanonical)
[D] _ {0}:: Ob (Op (Cod (Nat (Nat s0 (->)) (->))))
~ Ob (Cod (Nat (Nat s0 (->)) (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Cod (Nat (Nat s0 (->)) (->))))
~ Ob (Cod (Nat (Nat s0 (->)) (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Cod (Nat (Nat s0 (->)) (->))))
~ Ob (Cod (Nat (Nat s0 (->)) (->))) (CNonCanonical)
[D] _ {0}:: Category (Dom (Yoneda (Nat s0 (->)))) (CDictCan)
[D] _ {0}:: Functor (Dom (Yoneda (Nat s0 (->)))) (CDictCan(psc))
[D] _ {0}:: Dom (Dom (Yoneda (Nat s0 (->))))
~ Op (Dom (Yoneda (Nat s0 (->)))) (CDictCan)
[D] _ {0}:: Dom (Dom (Yoneda (Nat s0 (->))))
~ Op (Dom (Yoneda (Nat s0 (->)))) (CDictCan)
[D] _ {0}:: Dom (Dom (Yoneda (Nat s0 (->))))
~ Op (Dom (Yoneda (Nat s0 (->)))) (CNonCanonical)
[D] _ {0}:: Cod (Dom (Yoneda (Nat s0 (->))))
~ Nat (Dom (Yoneda (Nat s0 (->)))) (->) (CDictCan)
[D] _ {0}:: Cod (Dom (Yoneda (Nat s0 (->))))
~ Nat (Dom (Yoneda (Nat s0 (->)))) (->) (CDictCan)
[D] _ {0}:: Cod (Dom (Yoneda (Nat s0 (->))))
~ Nat (Dom (Yoneda (Nat s0 (->)))) (->) (CNonCanonical)
[D] _ {0}:: Ob (Op (Dom (Yoneda (Nat s0 (->)))))
~ Ob (Dom (Yoneda (Nat s0 (->)))) (CDictCan)
[D] _ {0}:: Ob (Op (Dom (Yoneda (Nat s0 (->)))))
~ Ob (Dom (Yoneda (Nat s0 (->)))) (CDictCan)
[D] _ {0}:: Ob (Op (Dom (Yoneda (Nat s0 (->)))))
~ Ob (Dom (Yoneda (Nat s0 (->)))) (CNonCanonical)
[D] _ {0}:: Category (Cod (Yoneda (Nat s0 (->)))) (CDictCan)
[D] _ {0}:: Functor (Cod (Yoneda (Nat s0 (->)))) (CDictCan(psc))
[D] _ {0}:: Dom (Cod (Yoneda (Nat s0 (->))))
~ Op (Cod (Yoneda (Nat s0 (->)))) (CDictCan)
[D] _ {0}:: Dom (Cod (Yoneda (Nat s0 (->))))
~ Op (Cod (Yoneda (Nat s0 (->)))) (CDictCan)
[D] _ {0}:: Dom (Cod (Yoneda (Nat s0 (->))))
~ Op (Cod (Yoneda (Nat s0 (->)))) (CNonCanonical)
[D] _ {0}:: Cod (Cod (Yoneda (Nat s0 (->))))
~ Nat (Cod (Yoneda (Nat s0 (->)))) (->) (CDictCan)
[D] _ {0}:: Cod (Cod (Yoneda (Nat s0 (->))))
~ Nat (Cod (Yoneda (Nat s0 (->)))) (->) (CDictCan)
[D] _ {0}:: Cod (Cod (Yoneda (Nat s0 (->))))
~ Nat (Cod (Yoneda (Nat s0 (->)))) (->) (CNonCanonical)
[D] _ {0}:: Ob (Op (Cod (Yoneda (Nat s0 (->)))))
~ Ob (Cod (Yoneda (Nat s0 (->)))) (CDictCan)
[D] _ {0}:: Ob (Op (Cod (Yoneda (Nat s0 (->)))))
~ Ob (Cod (Yoneda (Nat s0 (->)))) (CDictCan)
[D] _ {0}:: Ob (Op (Cod (Yoneda (Nat s0 (->)))))
~ Ob (Cod (Yoneda (Nat s0 (->)))) (CNonCanonical)
[D] _ {0}:: Category (Dom (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Functor (Dom (Nat s0 (->))) (CDictCan(psc))
[D] _ {0}:: Dom (Dom (Nat s0 (->)))
~ Op (Dom (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Dom (Dom (Nat s0 (->)))
~ Op (Dom (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Dom (Dom (Nat s0 (->)))
~ Op (Dom (Nat s0 (->))) (CNonCanonical)
[D] _ {0}:: Cod (Dom (Nat s0 (->)))
~ Nat (Dom (Nat s0 (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Dom (Nat s0 (->)))
~ Nat (Dom (Nat s0 (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Dom (Nat s0 (->)))
~ Nat (Dom (Nat s0 (->))) (->) (CNonCanonical)
[D] _ {0}:: Ob (Op (Dom (Nat s0 (->))))
~ Ob (Dom (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Dom (Nat s0 (->))))
~ Ob (Dom (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Dom (Nat s0 (->))))
~ Ob (Dom (Nat s0 (->))) (CNonCanonical)
[D] _ {0}:: Category (Cod (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Functor (Cod (Nat s0 (->))) (CDictCan(psc))
[D] _ {0}:: Dom (Cod (Nat s0 (->)))
~ Op (Cod (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Dom (Cod (Nat s0 (->)))
~ Op (Cod (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Dom (Cod (Nat s0 (->)))
~ Op (Cod (Nat s0 (->))) (CNonCanonical)
[D] _ {0}:: Cod (Cod (Nat s0 (->)))
~ Nat (Cod (Nat s0 (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Cod (Nat s0 (->)))
~ Nat (Cod (Nat s0 (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Cod (Nat s0 (->)))
~ Nat (Cod (Nat s0 (->))) (->) (CNonCanonical)
[D] _ {0}:: Ob (Op (Cod (Nat s0 (->))))
~ Ob (Cod (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Cod (Nat s0 (->))))
~ Ob (Cod (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Cod (Nat s0 (->))))
~ Ob (Cod (Nat s0 (->))) (CNonCanonical)
[D] _ {0}:: Category (Dom (Yoneda (Nat s0 (->)))) (CDictCan)
[D] _ {0}:: Functor (Dom (Yoneda (Nat s0 (->)))) (CDictCan(psc))
[D] _ {0}:: Dom (Dom (Yoneda (Nat s0 (->))))
~ Op (Dom (Yoneda (Nat s0 (->)))) (CDictCan)
[D] _ {0}:: Dom (Dom (Yoneda (Nat s0 (->))))
~ Op (Dom (Yoneda (Nat s0 (->)))) (CDictCan)
[D] _ {0}:: Dom (Dom (Yoneda (Nat s0 (->))))
~ Op (Dom (Yoneda (Nat s0 (->)))) (CNonCanonical)
[D] _ {0}:: Cod (Dom (Yoneda (Nat s0 (->))))
~ Nat (Dom (Yoneda (Nat s0 (->)))) (->) (CDictCan)
[D] _ {0}:: Cod (Dom (Yoneda (Nat s0 (->))))
~ Nat (Dom (Yoneda (Nat s0 (->)))) (->) (CDictCan)
[D] _ {0}:: Cod (Dom (Yoneda (Nat s0 (->))))
~ Nat (Dom (Yoneda (Nat s0 (->)))) (->) (CNonCanonical)
[D] _ {0}:: Ob (Op (Dom (Yoneda (Nat s0 (->)))))
~ Ob (Dom (Yoneda (Nat s0 (->)))) (CDictCan)
[D] _ {0}:: Ob (Op (Dom (Yoneda (Nat s0 (->)))))
~ Ob (Dom (Yoneda (Nat s0 (->)))) (CDictCan)
[D] _ {0}:: Ob (Op (Dom (Yoneda (Nat s0 (->)))))
~ Ob (Dom (Yoneda (Nat s0 (->)))) (CNonCanonical)
[D] _ {0}:: Category (Cod (Yoneda (Nat s0 (->)))) (CDictCan)
[D] _ {0}:: Functor (Cod (Yoneda (Nat s0 (->)))) (CDictCan(psc))
[D] _ {0}:: Dom (Cod (Yoneda (Nat s0 (->))))
~ Op (Cod (Yoneda (Nat s0 (->)))) (CDictCan)
[D] _ {0}:: Dom (Cod (Yoneda (Nat s0 (->))))
~ Op (Cod (Yoneda (Nat s0 (->)))) (CDictCan)
[D] _ {0}:: Dom (Cod (Yoneda (Nat s0 (->))))
~ Op (Cod (Yoneda (Nat s0 (->)))) (CNonCanonical)
[D] _ {0}:: Cod (Cod (Yoneda (Nat s0 (->))))
~ Nat (Cod (Yoneda (Nat s0 (->)))) (->) (CDictCan)
[D] _ {0}:: Cod (Cod (Yoneda (Nat s0 (->))))
~ Nat (Cod (Yoneda (Nat s0 (->)))) (->) (CDictCan)
[D] _ {0}:: Cod (Cod (Yoneda (Nat s0 (->))))
~ Nat (Cod (Yoneda (Nat s0 (->)))) (->) (CNonCanonical)
[D] _ {0}:: Ob (Op (Cod (Yoneda (Nat s0 (->)))))
~ Ob (Cod (Yoneda (Nat s0 (->)))) (CDictCan)
[D] _ {0}:: Ob (Op (Cod (Yoneda (Nat s0 (->)))))
~ Ob (Cod (Yoneda (Nat s0 (->)))) (CDictCan)
[D] _ {0}:: Ob (Op (Cod (Yoneda (Nat s0 (->)))))
~ Ob (Cod (Yoneda (Nat s0 (->)))) (CNonCanonical)
[D] _ {0}:: Category (Dom (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Functor (Dom (Nat s0 (->))) (CDictCan(psc))
[D] _ {0}:: Dom (Dom (Nat s0 (->)))
~ Op (Dom (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Dom (Dom (Nat s0 (->)))
~ Op (Dom (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Dom (Dom (Nat s0 (->)))
~ Op (Dom (Nat s0 (->))) (CNonCanonical)
[D] _ {0}:: Cod (Dom (Nat s0 (->)))
~ Nat (Dom (Nat s0 (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Dom (Nat s0 (->)))
~ Nat (Dom (Nat s0 (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Dom (Nat s0 (->)))
~ Nat (Dom (Nat s0 (->))) (->) (CNonCanonical)
[D] _ {0}:: Ob (Op (Dom (Nat s0 (->))))
~ Ob (Dom (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Dom (Nat s0 (->))))
~ Ob (Dom (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Dom (Nat s0 (->))))
~ Ob (Dom (Nat s0 (->))) (CNonCanonical)
[D] _ {0}:: Category (Cod (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Functor (Cod (Nat s0 (->))) (CDictCan(psc))
[D] _ {0}:: Dom (Cod (Nat s0 (->)))
~ Op (Cod (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Dom (Cod (Nat s0 (->)))
~ Op (Cod (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Dom (Cod (Nat s0 (->)))
~ Op (Cod (Nat s0 (->))) (CNonCanonical)
[D] _ {0}:: Cod (Cod (Nat s0 (->)))
~ Nat (Cod (Nat s0 (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Cod (Nat s0 (->)))
~ Nat (Cod (Nat s0 (->))) (->) (CDictCan)
[D] _ {0}:: Cod (Cod (Nat s0 (->)))
~ Nat (Cod (Nat s0 (->))) (->) (CNonCanonical)
[D] _ {0}:: Ob (Op (Cod (Nat s0 (->))))
~ Ob (Cod (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Cod (Nat s0 (->))))
~ Ob (Cod (Nat s0 (->))) (CDictCan)
[D] _ {0}:: Ob (Op (Cod (Nat s0 (->))))
~ Ob (Cod (Nat s0 (->))) (CNonCanonical)
[D] _ {0}:: Category (Dom s0) (CDictCan)
[D] _ {0}:: Functor (Dom s0) (CDictCan(psc))
[D] _ {0}:: Dom (Dom s0) ~ Op (Dom s0) (CDictCan)
[D] _ {0}:: Dom (Dom s0) ~ Op (Dom s0) (CDictCan)
[D] _ {0}:: Dom (Dom s0) ~ Op (Dom s0) (CNonCanonical)
[D] _ {0}:: Cod (Dom s0) ~ Nat (Dom s0) (->) (CDictCan)
[D] _ {0}:: Cod (Dom s0) ~ Nat (Dom s0) (->) (CDictCan)
[D] _ {0}:: Cod (Dom s0) ~ Nat (Dom s0) (->) (CNonCanonical)
[D] _ {0}:: Ob (Op (Dom s0)) ~ Ob (Dom s0) (CDictCan)
[D] _ {0}:: Ob (Op (Dom s0)) ~ Ob (Dom s0) (CDictCan)
[D] _ {0}:: Ob (Op (Dom s0)) ~ Ob (Dom s0) (CNonCanonical)
[D] _ {0}:: Category (Cod s0) (CDictCan)
[D] _ {0}:: Functor (Cod s0) (CDictCan(psc))
[D] _ {0}:: Dom (Cod s0) ~ Op (Cod s0) (CDictCan)
[D] _ {0}:: Dom (Cod s0) ~ Op (Cod s0) (CDictCan)
[D] _ {0}:: Dom (Cod s0) ~ Op (Cod s0) (CNonCanonical)
[D] _ {0}:: Cod (Cod s0) ~ Nat (Cod s0) (->) (CDictCan)
[D] _ {0}:: Cod (Cod s0) ~ Nat (Cod s0) (->) (CDictCan)
[D] _ {0}:: Cod (Cod s0) ~ Nat (Cod s0) (->) (CNonCanonical)
[D] _ {0}:: Ob (Op (Cod s0)) ~ Ob (Cod s0) (CDictCan)
[D] _ {0}:: Ob (Op (Cod s0)) ~ Ob (Cod s0) (CDictCan)
[D] _ {0}:: Ob (Op (Cod s0)) ~ Ob (Cod s0) (CNonCanonical)
[D] _ {0}:: Category (Dom s0) (CDictCan)
[D] _ {0}:: Functor (Dom s0) (CDictCan(psc))
[D] _ {0}:: Dom (Dom s0) ~ Op (Dom s0) (CDictCan)
[D] _ {0}:: Dom (Dom s0) ~ Op (Dom s0) (CDictCan)
[D] _ {0}:: Dom (Dom s0) ~ Op (Dom s0) (CNonCanonical)
[D] _ {0}:: Cod (Dom s0) ~ Nat (Dom s0) (->) (CDictCan)
[D] _ {0}:: Cod (Dom s0) ~ Nat (Dom s0) (->) (CDictCan)
[D] _ {0}:: Cod (Dom s0) ~ Nat (Dom s0) (->) (CNonCanonical)
[D] _ {0}:: Ob (Op (Dom s0)) ~ Ob (Dom s0) (CDictCan)
[D] _ {0}:: Ob (Op (Dom s0)) ~ Ob (Dom s0) (CDictCan)
[D] _ {0}:: Ob (Op (Dom s0)) ~ Ob (Dom s0) (CNonCanonical)
[D] _ {0}:: Category (Cod s0) (CDictCan)
[D] _ {0}:: Functor (Cod s0) (CDictCan(psc))
[D] _ {0}:: Dom (Cod s0) ~ Op (Cod s0) (CDictCan)
[D] _ {0}:: Dom (Cod s0) ~ Op (Cod s0) (CDictCan)
[D] _ {0}:: Dom (Cod s0) ~ Op (Cod s0) (CNonCanonical)
[D] _ {0}:: Cod (Cod s0) ~ Nat (Cod s0) (->) (CDictCan)
[D] _ {0}:: Cod (Cod s0) ~ Nat (Cod s0) (->) (CDictCan)
[D] _ {0}:: Cod (Cod s0) ~ Nat (Cod s0) (->) (CNonCanonical)
[D] _ {0}:: Ob (Op (Cod s0)) ~ Ob (Cod s0) (CDictCan)
[D] _ {0}:: Ob (Op (Cod s0)) ~ Ob (Cod s0) (CDictCan)
[D] _ {0}:: Ob (Op (Cod s0)) ~ Ob (Cod s0) (CNonCanonical)}
New deriveds found
Set limit with -fconstraint-solver-iterations=n; n=0 for no limit
• In the instance declaration for ‘Foo (c p g)’
|
21 | instance (Functor p, Functor q) => Foo (c p g)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment