@@ -849,6 +849,10 @@ foreign import member "length" length :: forall a. [a] -> Number
849849
850850PureScript has basic support for type classes via the `class` and `instance` keywords.
851851
852+Type class instances must be of the form `String`, `Number`, `Boolean`, `[t]` or `C t1 ... tn`, and only a single type class parameter is supported.
853+
854+Type class instances are resolved based on the order in which they appeared in the source files. In particular, overlapping instances are permitted.
855+
852856```haskell
853857class Show a where
854858 show :: a -> String