I don't think the T -> IEnumerable<T> is relevant to the physics problem, since there are no un-typed values there. my guess is you need something to switch the coordinate systems, something like
FG :: (F A -> F B) -> (G A -> G B)
then you don't need different types of arrows. you can just traverse the blue & green graphs by composing lists of those "monad transformers" ??