Module Relude_Tree.WithApplicative
Parameters
A: BsBastet.Interface.APPLICATIVE
Signature
module Traversable: BsBastet.Interface.TRAVERSABLE with type Traversable.t('a) = t('a) and type Traversable.applicative_t('a) = A.t('a);