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