class Product#1 (3) {
  private string $name => string(6) "Chilli"
  private float $amount => double(5.5)
  private Currency $currency => enum Currency::GBP *: string("£")*;
}