We don't have an overly general Hom any more