missing : instance HasTrie a => HasTrie (Maybe a)

[Doug Wilson]

I don't see a good reason for this to be absent, I'll submit a pull request if you agree?

[Conal Elliott]

Please do.