Partiality, Revisited - The Partiality Monad as a Quotient Inductive