Use GHC 7.8.*

Don't allow 7.6 because it doesn't have closed type families
Base functionality now typechecks

Doesn't actually work though, as you can't pass around a value of
kind ((* -> *) -> Constraint).