Fix type-class instances. Put lower-bound on all dependencies.