| . | Circuit.Category |
| .> | Circuit.Category, Circuit |
| :+: | Circuit.Syntax |
| :~> | Circuit.Layer, Circuit |
| <| | Circuit.Category, Circuit |
| >:> | Circuit.Poles, Circuit |
| acrossThenDown | Circuit.Circ, Circuit |
| act | Circuit.System |
| Action | Circuit.Tensor, Circuit |
| Affine | Circuit.Bimonoid |
| AffineBang | Circuit.Linear, Circuit |
| after | Circuit.Process |
| alg | Circuit.Syntax |
| AlgAffine | Circuit.Net |
| AlgBimonoidal | Circuit.Net |
| AlgCartesian | Circuit.Net |
| AlgCat | Circuit.Syntax |
| AlgCoAffine | Circuit.Net |
| AlgCocartesian | Circuit.Net |
| AlgCoRelevant | Circuit.Net |
| Algebra | Circuit.Syntax |
| AlgNet | Circuit.Net |
| AlgRelevant | Circuit.Net |
| AlgShared | Circuit.Shared |
| annih | Circuit.Tensor |
| annih' | Circuit.Tensor |
| applyLens | Circuit.Poly, Circuit |
| assoc | Circuit.Channel |
| assoc' | Circuit.Channel |
| assoc'FinRel | Circuit.FinRel |
| assocFinRel | Circuit.FinRel |
| associator | Circuit.Circ, Circuit |
| associatorSq | Circuit.Circ, Circuit |
| assocL | Circuit.Tensor |
| assocR | Circuit.Tensor |
| back | Circuit.Dagger, Circuit |
| Bang | Circuit.Linear, Circuit |
| BangCopy | Circuit.Linear, Circuit |
| BangWeaken | Circuit.Linear, Circuit |
| base | |
| 1 (Function) | Circuit.Trace, Circuit |
| 2 (Function) | Circuit.Hyper |
| baseK | Circuit.Hyper |
| Bias | Circuit.Tensor, Circuit.Poles, Circuit.Shared, Circuit |
| Bimonoid | Circuit.Bimonoid, Circuit |
| BimonoidT | Circuit.Bimonoid |
| Bind | Circuit.Layer, Circuit |
| bind | Circuit.Layer, Circuit |
| bisimilarStates | Circuit.Circ |
| Body | |
| 1 (Type/Class) | Circuit.Body, Circuit |
| 2 (Data Constructor) | Circuit.Body, Circuit |
| Bot | Circuit.Par, Circuit |
| Both | Circuit.Shared, Circuit |
| Boundary | Circuit.Process |
| box | Circuit.Poles, Circuit |
| boxAsymmetric | Circuit.Poles, Circuit |
| braid | |
| 1 (Function) | Circuit.Tensor, Circuit |
| 2 (Function) | Circuit.Net |
| branchSystem | Circuit.System |
| branchSystemHet | Circuit.System |
| carrierMap | Circuit.Circ, Circuit |
| Cartesian | Circuit.Bimonoid |
| cascade | Circuit.Circ, Circuit |
| cascadeBody | Circuit.Body, Circuit |
| cascadeSome | Circuit.Body, Circuit |
| Case | Circuit.Poly, Circuit |
| Cat2 | Circuit.Layer, Circuit |
| Category | Circuit.Category |
| Ch | Circuit.Poly.Channel, Circuit |
| Channel | |
| 1 (Type/Class) | Circuit.Channel |
| 2 (Type/Class) | Circuit.Poly.Channel, Circuit |
| chooseS | Circuit.Shared, Circuit |
| Circ | |
| 1 (Type/Class) | Circuit.Circ, Circuit |
| 2 (Data Constructor) | Circuit.Circ, Circuit |
| close | Circuit.Poles, Circuit |
| coabsorbL | Circuit.Tensor |
| coabsorbR | Circuit.Tensor |
| CoAffine | Circuit.Bimonoid |
| Coalgebra | |
| 1 (Type/Class) | Circuit.System |
| 2 (Data Constructor) | Circuit.System |
| coalgebraToSystem | Circuit.System |
| coassoc | Circuit.Tensor |
| coassoc' | Circuit.Tensor |
| commit | Circuit.Poles, Circuit |
| commitChannel | Circuit.Poly.Channel, Circuit |
| Comp | Circuit.Poly |
| companion | |
| 1 (Function) | Circuit.Span |
| 2 (Function) | Circuit.Poles, Circuit |
| CompAssocL | Circuit.Poly, Circuit |
| compAssocL | Circuit.Poly |
| CompAssocR | Circuit.Poly, Circuit |
| compAssocR | Circuit.Poly |
| compFinRel | Circuit.FinRel |
| Compose | |
| 1 (Data Constructor) | Circuit.Layer |
| 2 (Data Constructor) | Circuit.Poly, Circuit |
| compose | Circuit.Poles |
| compose0 | Circuit.Poles |
| composeCoalgebra | Circuit.System |
| composeOptic | Circuit.Optic |
| composeS | Circuit.Span |
| composeSomeOptic | Circuit.Optic |
| CompT | Circuit.Poly, Circuit |
| compToNested | Circuit.Poly |
| CompUnitL | Circuit.Poly, Circuit |
| CompUnitL' | Circuit.Poly, Circuit |
| compUnitorL | Circuit.Poly |
| compUnitorL' | Circuit.Poly |
| compUnitorR | Circuit.Poly |
| compUnitorR' | Circuit.Poly |
| CompUnitR | Circuit.Poly, Circuit |
| CompUnitR' | Circuit.Poly, Circuit |
| conjoint | |
| 1 (Function) | Circuit.Span |
| 2 (Function) | Circuit.Poles, Circuit |
| Cons | Circuit.Stream |
| cons | Circuit.Stream |
| consNil | Circuit.Stream |
| Const | Circuit.Poly |
| constChannel | Circuit.Poly.Channel, Circuit |
| ConstMap | Circuit.Poly, Circuit |
| Copy | Circuit.Bimonoid, Circuit |
| copy | Circuit.Bimonoid, Circuit |
| copycat | Circuit.Poles, Circuit |
| CopyDiscard | Circuit.Bimonoid, Circuit |
| copyE | Circuit.Linear, Circuit |
| CopyT | Circuit.Bimonoid |
| copyT | Circuit.Bimonoid |
| coreleaseL | Circuit.Tensor |
| coreleaseR | Circuit.Tensor |
| CoRelevant | Circuit.Bimonoid |
| coseed | Circuit.Tensor |
| Ctx | Circuit.Syntax |
| curry | Circuit.Linear, Circuit |
| Dagger | |
| 1 (Type/Class) | Circuit.Dagger, Circuit |
| 2 (Data Constructor) | Circuit.Dagger, Circuit |
| dagger | Circuit.Poly |
| delay | Circuit.Process, Circuit |
| Depend | Circuit.Poly, Circuit |
| derelict | Circuit.Linear, Circuit |
| dimVal | Circuit.FinRel |
| Dir | Circuit.Poly, Circuit |
| Discard | Circuit.Bimonoid, Circuit |
| discard | Circuit.Bimonoid, Circuit |
| discardE | Circuit.Linear, Circuit |
| DiscardT | Circuit.Bimonoid |
| discardT | Circuit.Bimonoid |
| distL | Circuit.Par, Circuit |
| distl | Circuit.Tensor |
| distl' | Circuit.Tensor |
| distR | Circuit.Par, Circuit |
| distr | Circuit.Tensor |
| distr' | Circuit.Tensor |
| Distributive | Circuit.Tensor |
| downThenAcross | Circuit.Circ, Circuit |
| duplicateSystem | Circuit.System |
| EC | Circuit.Poly |
| EE | Circuit.Poly |
| EK | Circuit.Poly |
| elgotBody | Circuit.Circ |
| elgotDagger | Circuit.Circ |
| elgotFeedbackBody | Circuit.Circ |
| emit | Circuit.Poles, Circuit |
| emitChannel | Circuit.Poly.Channel, Circuit |
| encode | |
| 1 (Function) | Circuit.Process |
| 2 (Function) | Circuit.Hyper, Circuit |
| encodeEither | Circuit.Hyper, Circuit |
| encodeK | Circuit.Hyper, Circuit |
| encodeStream | Circuit.Process |
| EP | Circuit.Poly |
| ES | Circuit.Poly |
| ET | Circuit.Poly |
| Eval | Circuit.Poly |
| eval | |
| 1 (Function) | Circuit.Syntax |
| 2 (Function) | Circuit.Linear, Circuit |
| evalFromSystem | Circuit.System |
| evalInto | Circuit.Syntax |
| evalPullback | Circuit.Pullback, Circuit |
| evalToSystem | Circuit.System |
| Exp | Circuit.Poly |
| ExpMap | Circuit.Poly, Circuit |
| Exponential | Circuit.Linear, Circuit |
| EY | Circuit.Poly |
| feedback | Circuit.Circ, Circuit |
| finCopy | Circuit.FinRel |
| finDiscard | Circuit.FinRel |
| finId | Circuit.FinRel |
| finInDim | Circuit.FinRel |
| finMat | Circuit.FinRel |
| FinObj | |
| 1 (Type/Class) | Circuit.FinRel |
| 2 (Data Constructor) | Circuit.FinRel |
| finOutDim | Circuit.FinRel |
| finPlus | Circuit.FinRel |
| FinRel | |
| 1 (Type/Class) | Circuit.FinRel |
| 2 (Data Constructor) | Circuit.FinRel |
| finScalar | Circuit.FinRel |
| finZero | Circuit.FinRel |
| fold | Circuit.Process, Circuit |
| foldStream | Circuit.Process |
| Free | Circuit.Layer, Circuit |
| FreeSMC | Circuit.SMC |
| freeze | Circuit.Layer, Circuit |
| fromEvalSystem | Circuit.System |
| fromNet | Circuit.Poly |
| front | Circuit.Dagger, Circuit |
| Fst | Circuit.Poly, Circuit |
| function | Circuit.Category |
| FunctionLike | Circuit.Category |
| HasDual | Circuit.Poles, Circuit |
| hcompose | Circuit.Circ, Circuit |
| Hyper | |
| 1 (Data Constructor) | Circuit.Hyper |
| 2 (Type/Class) | Circuit.Hyper, Circuit |
| HyperA | |
| 1 (Type/Class) | Circuit.Hyper, Circuit |
| 2 (Data Constructor) | Circuit.Hyper, Circuit |
| Id | Circuit.Poly, Circuit |
| id | Circuit.Category |
| idChannel | Circuit.Poly.Channel, Circuit |
| idCirc | Circuit.Circ, Circuit |
| identityOptic | Circuit.Optic |
| identityS | Circuit.Span |
| identitySomeOptic | Circuit.Optic |
| idSq | Circuit.Circ, Circuit |
| imap | Circuit.Poles |
| In | |
| 1 (Type/Class) | Circuit.Poles, Circuit |
| 2 (Data Constructor) | Circuit.Poles, Circuit |
| Inl | Circuit.Poly, Circuit |
| Inr | Circuit.Poly, Circuit |
| Intertwiner | |
| 1 (Type/Class) | Circuit.Circ, Circuit |
| 2 (Data Constructor) | Circuit.Circ, Circuit |
| introduce | Circuit.Linear, Circuit |
| invoke | Circuit.Hyper, Circuit |
| iomap | Circuit.Poles |
| isBisimulation | Circuit.Circ |
| isMark | Circuit.Process |
| isPayload | Circuit.Process |
| iterateSystem | Circuit.Process |
| K | |
| 1 (Type/Class) | Circuit.Category |
| 2 (Data Constructor) | Circuit.Category |
| KnownDim | Circuit.FinRel |
| Konst | Circuit.Poly, Circuit |
| L | |
| 1 (Data Constructor) | Circuit.Syntax |
| 2 (Data Constructor) | Circuit.Shared, Circuit |
| Law | Circuit.Layer, Circuit |
| Layer | Circuit.Layer, Circuit |
| LeftFirst | Circuit.Tensor, Circuit.Poles, Circuit.Shared, Circuit |
| leftWhisker | Circuit.Circ, Circuit |
| lens | Circuit.Poly, Circuit |
| lensAsOptic | Circuit.Optic |
| lensAsSystem | Circuit.System |
| Lift | |
| 1 (Data Constructor) | Circuit.Layer |
| 2 (Data Constructor) | Circuit.Syntax |
| lift | |
| 1 (Function) | Circuit.SMC |
| 2 (Function) | Circuit.Net |
| 3 (Function) | Circuit.Hyper, Circuit |
| liftK | Circuit.Hyper, Circuit |
| LinearBang | Circuit.Linear, Circuit |
| Lolli | Circuit.Linear, Circuit |
| lolli | Circuit.Linear, Circuit |
| LolliT | Circuit.Linear, Circuit |
| lower | Circuit.Layer, Circuit |
| mapChannel | Circuit.Poly.Channel, Circuit |
| Mark | Circuit.Process |
| markSystem | Circuit.Process, Circuit |
| maxBisimulation | Circuit.Circ |
| mealy | Circuit.Process, Circuit |
| melt | Circuit.Net, Circuit |
| Merge | Circuit.Bimonoid, Circuit |
| mergeE | Circuit.Linear, Circuit |
| MergeT | Circuit.Bimonoid |
| MergeZero | Circuit.Bimonoid, Circuit |
| mirror | |
| 1 (Function) | Circuit.SMC |
| 2 (Function) | Circuit.Net |
| mix | Circuit.Par, Circuit |
| Mono | Circuit.Poly, Circuit |
| monoDir | Circuit.System |
| monoIn | Circuit.System |
| mooreSystem | Circuit.System, Circuit |
| morphAt | Circuit.Poly |
| Morphism | Circuit.Poly, Circuit |
| morphism | Circuit.Body, Circuit |
| nestedToComp | Circuit.Poly |
| Net | Circuit.Net, Circuit |
| Netlist | Circuit.Poly |
| netRoundTrip | Circuit.Poly |
| nil | Circuit.Stream |
| observe | Circuit.Hyper, Circuit |
| observeK | Circuit.Hyper, Circuit |
| omap | Circuit.Poles |
| Op | Circuit.Syntax |
| open | Circuit.Poles, Circuit |
| Optic | |
| 1 (Type/Class) | Circuit.Optic |
| 2 (Data Constructor) | Circuit.Optic |
| opticAsLens | Circuit.Optic |
| opticBackward | Circuit.Optic |
| opticForward | Circuit.Optic |
| opticPoles | Circuit.Optic |
| opticUpdate | Circuit.Optic |
| Out | |
| 1 (Type/Class) | Circuit.Poles, Circuit |
| 2 (Data Constructor) | Circuit.Poles, Circuit |
| Pair | Circuit.Poly, Circuit |
| pair | Circuit.Poles |
| pairs | Circuit.Span |
| Par | |
| 1 (Type/Class) | Circuit.Par, Circuit |
| 2 (Data Constructor) | Circuit.Poly, Circuit |
| parFinRel | Circuit.FinRel |
| parP | Circuit.Par, Circuit |
| ParT | Circuit.Poly, Circuit |
| parT | Circuit.Poly |
| parWiring | Circuit.System |
| Payload | Circuit.Process |
| Pick | Circuit.Shared, Circuit |
| plus | Circuit.Bimonoid, Circuit |
| plusT | Circuit.Bimonoid |
| Point | Circuit.Poly, Circuit |
| point | Circuit.Category |
| Pointed | Circuit.Category |
| Poles | |
| 1 (Type/Class) | Circuit.Poles, Circuit |
| 2 (Data Constructor) | Circuit.Poles, Circuit |
| poles | Circuit.Poles, Circuit |
| poles0 | Circuit.Poles |
| polesK | Circuit.Poles, Circuit |
| polesTensor | Circuit.Poles |
| Poly | Circuit.Poly |
| Pos | Circuit.Poly, Circuit |
| prefixIn | Circuit.Poles, Circuit |
| presentS | Circuit.Span |
| Prism | Circuit.Poly, Circuit |
| prism | Circuit.Poly, Circuit |
| prismMatch | Circuit.Poly |
| probeDir | Circuit.System |
| Process | |
| 1 (Type/Class) | Circuit.Process, Circuit |
| 2 (Data Constructor) | Circuit.Process, Circuit |
| processToBody | Circuit.Process |
| processToSomeBody | Circuit.Process |
| Prod | Circuit.Poly |
| Pullback | |
| 1 (Type/Class) | Circuit.Pullback, Circuit |
| 2 (Data Constructor) | Circuit.Pullback, Circuit |
| push | Circuit.Hyper, Circuit |
| pushK | Circuit.Hyper, Circuit |
| R | |
| 1 (Data Constructor) | Circuit.Syntax |
| 2 (Data Constructor) | Circuit.Shared, Circuit |
| race | Circuit.Poles |
| refinesS | Circuit.Span |
| register | Circuit.Process, Circuit |
| Relevant | Circuit.Bimonoid |
| RelevantBang | Circuit.Linear |
| RightFirst | Circuit.Tensor, Circuit.Poles, Circuit.Shared, Circuit |
| rightWhisker | Circuit.Circ, Circuit |
| Run | Circuit.Layer, Circuit |
| run | Circuit.Layer, Circuit |
| runEither | Circuit.Hyper, Circuit |
| runFlowchart | Circuit.Body |
| runHyper | Circuit.Hyper, Circuit |
| runHyperK | Circuit.Hyper, Circuit |
| runK | Circuit.Category |
| runMealy | Circuit.Process, Circuit |
| runMealyStream | Circuit.Process |
| runMorphism | Circuit.Poly |
| runPullback | Circuit.Pullback, Circuit |
| runSomeBody | Circuit.Body, Circuit |
| runSomePoles | Circuit.System |
| runSystem | Circuit.System, Circuit |
| runSystemMono | Circuit.System |
| runSystemSum | Circuit.System |
| runSystemSumHet | Circuit.System |
| scan | Circuit.Process, Circuit |
| scanStream | Circuit.Process |
| Schedule | |
| 1 (Type/Class) | Circuit.Shared, Circuit |
| 2 (Data Constructor) | Circuit.Shared, Circuit |
| seedPair | Circuit.Tensor |
| Shared | Circuit.Shared, Circuit |
| sharedBy | Circuit.Shared, Circuit |
| sift | Circuit.Net |
| Sig | Circuit.Syntax |
| SigCompose | |
| 1 (Type/Class) | Circuit.Syntax |
| 2 (Data Constructor) | Circuit.Syntax |
| SigCopy | |
| 1 (Type/Class) | Circuit.Bimonoid |
| 2 (Data Constructor) | Circuit.Bimonoid |
| SigCopyDiscard | Circuit.Bimonoid |
| SigDiscard | |
| 1 (Type/Class) | Circuit.Bimonoid |
| 2 (Data Constructor) | Circuit.Bimonoid |
| SigMergeZero | Circuit.Bimonoid |
| SigPar | |
| 1 (Type/Class) | Circuit.SMC |
| 2 (Data Constructor) | Circuit.SMC |
| SigPlus | |
| 1 (Type/Class) | Circuit.Bimonoid |
| 2 (Data Constructor) | Circuit.Bimonoid |
| SigShared | |
| 1 (Type/Class) | Circuit.Shared |
| 2 (Data Constructor) | Circuit.Shared |
| SigSwap | |
| 1 (Type/Class) | Circuit.SMC |
| 2 (Data Constructor) | Circuit.SMC |
| SigYank | Circuit.Trace |
| SigZero | |
| 1 (Type/Class) | Circuit.Bimonoid |
| 2 (Data Constructor) | Circuit.Bimonoid |
| slide | Circuit.Channel |
| slideFinRel | Circuit.FinRel |
| SMC | Circuit.SMC, Circuit |
| Snd | Circuit.Poly, Circuit |
| Snoc | Circuit.Stream |
| snoc | Circuit.Stream |
| snocNil | Circuit.Stream |
| SomeBody | |
| 1 (Type/Class) | Circuit.Body, Circuit |
| 2 (Data Constructor) | Circuit.Body, Circuit |
| SomeOptic | |
| 1 (Type/Class) | Circuit.Optic |
| 2 (Data Constructor) | Circuit.Optic |
| someOpticUpdate | Circuit.Optic |
| SomePoles | |
| 1 (Type/Class) | Circuit.System |
| 2 (Data Constructor) | Circuit.System |
| Span | |
| 1 (Type/Class) | Circuit.Span |
| 2 (Data Constructor) | Circuit.Span |
| spanDistance | Circuit.Span |
| splay | Circuit.Poles, Circuit |
| splay0 | Circuit.Poles |
| Sq | |
| 1 (Type/Class) | Circuit.Circ, Circuit |
| 2 (Data Constructor) | Circuit.Circ, Circuit |
| sqSrc | Circuit.Circ, Circuit |
| sqTgt | Circuit.Circ, Circuit |
| stamp | Circuit.Stamped, Circuit |
| Stamped | |
| 1 (Type/Class) | Circuit.Stamped, Circuit |
| 2 (Data Constructor) | Circuit.Stamped, Circuit |
| stamped | Circuit.Stamped, Circuit |
| Step | Circuit.System |
| step | Circuit.System |
| Strength | Circuit.Channel, Circuit |
| strength | Circuit.Channel, Circuit |
| strengthFinRel | Circuit.FinRel |
| suffixOut | Circuit.Poles, Circuit |
| Sum | Circuit.Poly |
| SumStep | Circuit.System |
| SumStepL | Circuit.System |
| SumStepR | Circuit.System |
| superpose | Circuit.Tensor, Circuit |
| swapFinRel | Circuit.FinRel |
| Syntax | Circuit.Syntax |
| System | Circuit.System, Circuit |
| system | Circuit.System, Circuit |
| systemAsLens | Circuit.System |
| systemAsProcess | Circuit.Process |
| SystemEval | Circuit.System |
| SystemT | |
| 1 (Type/Class) | Circuit.System |
| 2 (Data Constructor) | Circuit.System |
| systemToCoalgebraMono | Circuit.System |
| systemToPolesWithProbe | Circuit.System |
| systemToProcess | Circuit.Process, Circuit |
| systemWithSeedToPoles | Circuit.System |
| Tensor | |
| 1 (Data Constructor) | Circuit.Poly |
| 2 (Type/Class) | Circuit.Tensor, Circuit |
| tensor | Circuit.Tensor, Circuit |
| TensorAssocL | Circuit.Poly, Circuit |
| TensorAssocR | Circuit.Poly, Circuit |
| TensorBraid | Circuit.Poly, Circuit |
| tensorEval | Circuit.Poly |
| TensorSeed | Circuit.Tensor |
| tensorUnitorL | Circuit.Poly |
| tensorUnitorL' | Circuit.Poly |
| tensorUnitorR | Circuit.Poly |
| tensorUnitorR' | Circuit.Poly |
| That | Circuit.Stream |
| These | |
| 1 (Type/Class) | Circuit.Stream |
| 2 (Data Constructor) | Circuit.Stream |
| This | Circuit.Stream |
| toEvalSystem | Circuit.System |
| toNet | Circuit.Poly |
| Trace | Circuit.Trace, Circuit |
| trace | Circuit.Channel, Circuit |
| Traced | Circuit.Channel, Circuit |
| traceFinRel | Circuit.FinRel |
| transpose | Circuit.Dagger, Circuit |
| Uncons | Circuit.Stream |
| uncons | Circuit.Stream |
| uncurry | Circuit.Linear, Circuit |
| Unit | Circuit.Tensor |
| unit | Circuit.Layer, Circuit |
| Unital | Circuit.Tensor |
| unitl | Circuit.Tensor |
| unitl' | Circuit.Tensor |
| unitl'FinRel | Circuit.FinRel |
| unitlFinRel | Circuit.FinRel |
| unitlP | Circuit.Par, Circuit |
| unitlP' | Circuit.Par, Circuit |
| unitorLeft | Circuit.Circ, Circuit |
| unitorLeftSq | Circuit.Circ, Circuit |
| unitorRight | Circuit.Circ, Circuit |
| unitorRightSq | Circuit.Circ, Circuit |
| unitr | Circuit.Tensor |
| unitr' | Circuit.Tensor |
| unitr'FinRel | Circuit.FinRel |
| unitrFinRel | Circuit.FinRel |
| unitrP | Circuit.Par, Circuit |
| unitrP' | Circuit.Par, Circuit |
| upd | Circuit.System |
| vcomp | Circuit.Circ, Circuit |
| whiskerSq | Circuit.Circ, Circuit |
| WhyNot | Circuit.Linear, Circuit |
| WhyNotIntro | Circuit.Linear, Circuit |
| WhyNotMonoid | Circuit.Linear, Circuit |
| widen | Circuit.Net |
| wiring | Circuit.FinRel |
| withIntertwiner | Circuit.Circ, Circuit |
| withSomeOptic | Circuit.Optic |
| Y | Circuit.Poly |
| Yank | Circuit.Trace |
| yank | Circuit.Trace, Circuit |
| Zero | Circuit.Bimonoid, Circuit |
| zero | Circuit.Bimonoid, Circuit |
| zeroE | Circuit.Linear, Circuit |
| ZeroT | Circuit.Bimonoid |
| zeroT | Circuit.Bimonoid |
| |> | Circuit.Category, Circuit |