Title: Safe dynamic dispatch, or how to pickle with class