Open phadej opened 5 years ago
So we don't forget to settle on https://github.com/ekmett/adjunctions/pull/49#issuecomment-382416923
Based on todays comments by Edward, Functor1 is not a good name!
Functor1
https://github.com/ekmett/codex/blob/d4eeebf55a8c2bc9b858cdc0ddccb2679e03091f/lib/hkd/src/Data/HKD.hs#L61
21:48 edwardk Functor1, etc. doesn't work because I want FFunctor, FFoldable, FTraversable.. 21:49 edwardk and the latter become Foldable1 and Traversable1 under that convention!
So we don't forget to settle on https://github.com/ekmett/adjunctions/pull/49#issuecomment-382416923
Based on todays comments by Edward,
Functor1
is not a good name!https://github.com/ekmett/codex/blob/d4eeebf55a8c2bc9b858cdc0ddccb2679e03091f/lib/hkd/src/Data/HKD.hs#L61