Instance methods too strict

[tomjaguarpaw]

These instance methods look too strict.

• product-profunctors/Data/Profunctor/Product.hs

  Line 110 in b8635f8

  Procompose pf qf **** Procompose pa qa =

• product-profunctors/Data/Profunctor/Product.hs

  Line 127 in b8635f8

  Pair l1 l2 **** Pair r1 r2 = Pair (l1 **** r1) (l2 **** r2)

• product-profunctors/Data/Profunctor/Product.hs

  Line 145 in b8635f8

  Procompose pa qa +++! Procompose pb qb = Procompose (pa +++! pb) (qa +++! qb)

• product-profunctors/Data/Profunctor/Product.hs

  Line 154 in b8635f8

  Pair l1 l2 +++! Pair r1 r2 = Pair (l1 +++! r1) (l2 +++! r2)

@sjoerdvisscher Any thoughts?

[sjoerdvisscher]

Tbh I never give strictness much thought until something breaks. Other instances for Procompose and Pair in profunctor/bifunctor don't seem to need anything special either, so why do these?

[tomjaguarpaw]

Fair enough. Let's leave that until we see a problem.