Relax constraints on tasty packages
Add type signature