[Typer] Re: Implement `Quotient` formation