Unsolved metas in Categories.Power.NaturalTransformation with 2.5.4.2
p-pavel opened this issue · 1 comments
p-pavel commented
line 60, unsolved implicit arguments to flattenPⁿ
Seem be the of the same kind as #19 and related to inability to infer composition
JacquesCarette commented
Fixed in new library.