Replacing arguments of Trie by a cancellable monoid.
Extruding code not depending of the functor argument in Termdn.