make using ghci easier if you're on a newish GHC
better instance Universe [a] (doesn't infinite loop when a is Void)