Data.Functor.Utils

fmap1

fmap2

fmap3

fmap4

fmap5

fmap6

fmap7

fmap8

fmap9

dot1

dot2

dot3

dot4

dot5

dot6

dot7

dot8

dot9

(∘)

(∘∘)

(∘∘∘)

(∘∘∘∘)

(∘∘∘∘∘)

(.)

(.:)

(.:.)

(.::)

(.::.)

(.:::)

(.:::.)

(.::::)

(.::::.)

(<∘>)

(<∘∘>)

(<∘∘∘>)

(<∘∘∘∘>)

(<∘∘∘∘∘>)

(<<∘>>)

(<<$>>)

data NestedFunctor m n a

nested

type family Functors lst :: Constraint