Data.Functor.Representable.Trie.Bool
data
BoolTrie
a