Add missing instances and pragmas