[] can now be used in type class instances