unmappedShellF :: Foldable t => t FRequest -> K a b -> F c d -> F (a ⊕ c) (b ⊕ d) unmappedShellF' :: Foldable t => (ShellF -> ShellF) -> t FRequest -> K a b -> F c d -> F (a ⊕ c) (b ⊕ d) unmappedSimpleShellF :: String -> F i o -> F i o
shellF