+ Just (AnId id) -> returnM id
+
+ -- When typechecking Haskell source, occurrences of
+ -- data constructors use the "source name", which maps
+ -- to ADataCon; we want the wrapper instead
+ Just (ADataCon dc) -> returnM (dataConWrapId dc)
+
+ other -> notFound "tcLookupGlobal (id)" name