Apparently we need FlexibleInstances too