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