adjunctions
adjunctions copied to clipboard
Place and name of higher Functor
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
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!