implicitConLikeThings :: ConLike -> [TyThing]
implicitConLikeThings (RealDataCon dc)
  = map AnId (dataConImplicitIds dc)
implicitConLikeThings :: ConLike -> [TyThing]
implicitConLikeThings (RealDataCon dc)
  = map AnId (dataConImplicitIds dc)
implicitConLikeThings (RealDataCon dc)
  = map AnId (dataConImplicitIds dc)