@@ -464,7 +464,11 @@ data Binder
464464 -- |
465465 -- A binder with source position information
466466 --
467− | PositionedBinder SourcePos Binder deriving (Show, D.Data, D.Typeable)
467+ | PositionedBinder SourcePos Binder
468+ -- |
469+ -- A binder with a type annotation
470+ --
471+ | TypedBinder Type Binder deriving (Show, D.Data, D.Typeable)
468472
469473-- |
470474-- Collect all names introduced in binders in an expression