Issue #8 - give quit a type signature