A nullary type class for partial functions