https://github.com/nfrisby/invariant-functors
