haskell - 強い閉プロファンクターの一般化

Question

私は、強力で閉じたプロファンクターのクラスを見ていました：

class Profunctor p where
    dimap :: (a' -> a) -> (b -> b') -> p a b -> p a' b'
class Profunctor p => Strong p where
    strong :: p a b -> p (c, a) (c, b)
class Profunctor p => Closed p where
    closed :: p a b -> p (c -> a) (c -> b)

((,)は対称バイファンクターであるため、「profunctors」パッケージでの定義と同等です。)

(->) a私は両方に注意し、(,) aエンドファンクターです。それは似たような形StrongをしClosedています：

class (Functor f, Profunctor p) => C f p where
    c :: p a b -> p (f a) (f b)

確かに、法則を見ると、似たような形をしているものもあります。

strong . strong ≡ dimap unassoc assoc . strong
closed . closed ≡ dimap uncurry curry . closed

lmap (first f) . strong ≡ rmap (first f) . strong
lmap (. f)     . closed ≡ rmap (. f)     . closed

これらはどちらも一般的なケースの特別なケースですか?