matchStars p _ = throwImpure $ errorInternal $ "unreachablePattern, matchStars " ++ show p
matchStars p _ = throwImpure $ errorInternal $ "unreachablePattern, matchStars " ++ show p
matchStars p _ = throwImpure $ errorInternal $ "unreachablePattern, matchStars " ++ show p