improve compilation speed for ProductCategory

[marcosh]

this is slowing down the compilation of all the monoidal part of the library

coming from https://github.com/statebox/idris-stbx-core/issues/32

[WhatisRT]

Monad.lidr is also incredibly slow to compile for me. Is it known what makes these things slow?

[marcosh]

From what I observed, it may have to do something with the usage of pairs (and triples), but I guess that's not the case for monads

[Jake-Gillberg]

Any workarounds for this? Having to wait ~10mins for each interactive editor call while trying to implement #81

[marcosh]

@Jake-Gillberg unluckily I don't know about any workaround. I might just suggest not to use the interactive editor and work on this on bare hands, recompiling manually one in a while