úÎЄ     Safe+,9:;<=DOQRT !"#$%&'( !"#$%&'( !"#$%&'(Safe+,9:;<=DOQRT)SMarks that there is no legal path between the two types according to the rulebase. *+,-./0)12345 *+,-./0)12345 *+,-./0)12345Safe+,9:;<=DOQRT 6?Transforms the path from the generic format to the specific one7ETransforms a path element from the generic format to the specific one8<Checks if the path is found to provide usable error messages97This class extracts a given morph from the set of rules:pThis class provides a way to construct the value-level transformations from the type-level path and a rulebase.A generalized version of [. Can work on different rulesets, so this should be used if the ruleset is to be extended.&Lifts the first monad into the second. States that m1 can be represented with m2. That is because m2 contains more infromation than m1.The MMorph0 relation defines a natural transformation from m1 to m2 that keeps the following laws: Hmorph (return x) = return x morph (m >>= f) = morph m >>= morph . f*It is a reflexive and transitive relation.&Lifts the first monad into the second.2;67<=>?@ABCDEFGH89I:JKLMNOPQRS #;67<=>?@ABCDEFGH89I:JKLMNOPQRS O6P6T      !"#$%&'()*+,-./0123456789:;<=>?@@AABBCDDEFFGHIJKLLMMNOPQ/instance-control-0.1.1.0-BNTLBb4HFMuDcMtouNQ04xControl.Instances.Morph"Control.Instances.TypeLevelPreludeControl.Instances.ShortestPathGenMorphgenMorphMorphmorph $fCorrectPathTYPEkkfromtoNoMorph$fCorrectPathTYPEkkfromto:+:$fHasMorph:+:m$fHasMorph:+:m0$fHasMorph:+:ConnectMorph$fHasMorph:+:ConnectMorph0$fGeneratableMorphdb:+:$fGeneratableMorphdb:+:0$fGeneratableMorphdb:+:1$fGeneratableMorphdbNoMorph$fMorph'kNoMorphxx$fMorph'k:+:mProxy$fMorph'TYPE:+:Identityx$fMorph'k:+:xz$fGenMorph:+:xy $fMorphm1m2CatFromJustIsJustIfJust IfThenJustRevert AppendJust MapAppendNullSame FromMaybe HeadMaybeHeadLength IfThenElseElem:++:IterateLazyIfThenElseSeqConst NoPathFound MonomorphEnd ApplyEdge ApplyEdges InitCurrent GetFinished ShortestPath' ShortestPath Connect_MU Connect_id Connect_mt Connect_2mConnect TransformPath TranslateConn CorrectPathHasMorphGeneratableMorph PathFromListMUMorph IdentityMorphConnectMorph_mtfromConnectMorph_mtConnectMorph_2mfromConnectMorph_2m ConnectMorphfromConnectMorphgetMorph generateMorphDB ToMorphRepoNoMorph:+:Morph'reprdb