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.