Stream: General

Topic: Conflict of type arities:

view this post on Zulip David Wang (Jul 13 2026 at 12:50):

Hello everyone,

I imported two files and now get this error:

Conflict of type arities:
  prod :: (linorder, linorder) sup and
  prod :: (sup, sup) sup

Is there a way to hide one of these instantiations?

Last updated: Jul 15 2026 at 06:16 UTC