toBranched :: Branches br -> Branches Branched
toBranched = MkBranches . unMkBranches
toBranched :: Branches br -> Branches Branched
toBranched = MkBranches . unMkBranches
toBranched = MkBranches . unMkBranches