Divide
Divide
-- a type of
Expression
representing a quotient.