+
+maybeWiredInIdName :: Name -> Maybe Id
+maybeWiredInIdName nm
+ = case filter ((== nm).idName) wiredInIds of
+ [] -> Nothing
+ (i:is) -> Just i
+
+maybeWiredInTyConName :: Name -> Maybe TyCon
+maybeWiredInTyConName nm
+ = case filter ((== nm).tyConName) wiredInTyCons of
+ [] -> Nothing
+ (tc:tcs) -> Just tc