Remove Explore from cabal file
Restrict type class variables for easier resolution