Embedded types work