mizunashi-mana
That’s comonoid laws on Haskell (if you think about only in Set)
Haskell has the instance of all types for Comonoid:
This instance is trivial and the only.
See also: https://stackoverflow.com/questions/23855070/what-does-a-nontrivial-comonoid-look-like
Haskell has the instance of all types for Comonoid:
instance Comonoid a where coidentity _ = () comultiple x = (x, x)
This instance is trivial and the only.
See also: https://stackoverflow.com/questions/23855070/what-does-a-nontrivial-comonoid-look-like