Simplify the construction of natural transformations

ohnosequences / stuff

Useful stuff.

GNU Affero General Public License v3.0

1 stars 0 forks source link

Closed eparejatobes closed 6 years ago

eparejatobes commented 6 years ago

We could have a class bounding the biggest possible number of types. Supporting the equivalent of F1 ~> F2 would be great.

eparejatobes commented 6 years ago

LGTM.