Aha, I guess the default implementation of `reverseDomain` does not work correctly for `Trail`s.  Nice catch.