Re: [Typer] Implement `Quotient` formation