Update GHC version for travis CI
Relax constraints from PrimMonad to Monad where possible