Instantiate this class - Haskell

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Can anyone thing of any types p :: * -> * -> * for which it's possible to implement:

class Profunctor p => Wat p
  where
  wat :: p (i1, i2) (o1, o2) -> Either (p i1 o1) (p i2 o2)