copumpkin/categories

Unsolved metas in Categories.Power.NaturalTransformation with 2.5.4.2

p-pavel opened this issue · 1 comments

line 60, unsolved implicit arguments to flattenPⁿ

Seem be the of the same kind as #19 and related to inability to infer composition

Fixed in new library.