[Haskell-cafe] Co-arbitrary