_allExisting
   :: forall s a b
     . ???? s (List a)
    -> (a -> ???? s (Maybe b))
    -> Getter' s (List b)
_allExisting _list _item =
    to getter
    where
        getter s =
            (\i -> view (_item i) s)
                <$> view _seq s
                 #  List.catMaybes

_allExisting
   :: forall s a b
     . L.Getter' s (List.List a)
    -> (a -> L.Getter' s (Maybe b))
    -> L.Getter' s (List.List b)

 Could not match constrained type

    Strong t4 => t4 (Maybe b) (Maybe b) -> t4 s s

  with type

    Forget r8 (Maybe b) (Maybe b) -> Forget r8 s s

_allExisting
   :: forall s a b
     . L.Traversal' s (List.List a)
    -> (a -> L.Lens' s (Maybe b))
    -> L.Getter' s (List.List b)
_allExisting _list _item =
    L.to getter
    where
        getter s =
            (\i -> L.view (_item i) s)
                <$> L.view _list s
                 #  List.catMaybes

L.view
    (_allExisting
        (L._nodeByPath (P.toNode "patch" "node") <<< L._nodeOutlets)
        L._outlet
    )
    network'

L._nodeByPath :: ∀ d c n. ToNode → Traversal' (Network d c n) (Node d n)
L._nodeOutlets :: ∀ d n. Lens' (Node d n) (Seq ToOutlet)
L._outlet :: ∀ d c n. ToOutlet → Lens' (Network d c n) (Maybe (Outlet d c))