embedded types: lower -> Upper