h&  Safe-Inferred ./9>?closed-classes8 constraints are unsatisfiable. Attempting to resolve a   constraint will result in 1@ User defined instances are not allowed.None&closed-classesCloses all declared classes. Any instances must be given in the same quote.None /9>?     closed-classes-0.1-inplaceData.Class.Closed.ExampleData.Class.ClosedData.Class.Closed.TH Example₁ example₁ Example₂ example₂Closed $fClosedkaclose$fExample₁()$fExample₂aTrue