representable-tries (hackage): Tries from representations of polynomial functors
Keywords: bsd3|comonads|data-structures|functors|library|monads