Permalink
Browse files

Improve the docs

  • Loading branch information...
1 parent ecbe86f commit 8b9cc95dd335d8c29519ef722ae21f75d68a8b61 @feuerbach committed Mar 16, 2013
Showing with 4 additions and 3 deletions.
  1. +4 −3 Data/Generics/Traversable.hs
@@ -54,9 +54,10 @@ import Data.Generics.Traversable.Instances ()
import Data.Foldable
import Data.Traversable
--- | @Rec c a@ is (automatically) satisfied whenever `a` is an instance of
--- both `c` and `GTraversable`. This is needed to express \"deep
--- traversals\".
+-- | 'Rec' enables \"deep traversals\".
+--
+-- It is satisfied automatically when its superclass constraints are
+-- satisfied — you are not supposed to declare new instances of this class.
class (GTraversable (Rec c) a, c a) => Rec (c :: * -> Constraint) a
instance (GTraversable (Rec c) a, c a) => Rec (c :: * -> Constraint) a

0 comments on commit 8b9cc95

Please sign in to comment.