unmappedShellF :: [FRequest] -> K a b -> F c d -> F (Either a c) (Either b d) unmappedShellF' :: (ShellF -> ShellF) -> [FRequest] -> K a b -> F c d -> F (Either a c) (Either b d) unmappedSimpleShellF :: String -> F a b -> F a b
shellF