-------------------------------------------------------------------------
-- IfaceDecl and friends
-------------------------------------------------------------------------
-------------------------------------------------------------------------
-- IfaceDecl and friends
-------------------------------------------------------------------------