eUnknownFieldProj :: MonadError CoreErr m => [(Label, Type)] -> Label -> m a
raiseUnknownFieldProj lτs = throwError . UnknownFieldProj lτs

rais
raiseUnknownFieldProj :: MonadError CoreErr m => [(Label, Type)] -> Label -> m a
raiseUnknownFieldProj lτs = throwError . UnknownFieldProj lτs
raiseUnknownFieldProj lτs = throwError . UnknownFieldProj lτs