> This all seems to make sense. How about: > > datatype handler = > None > | Caller (* or CallerHandler *) > | Some of Label.t OK. I'll go with this and CallerHandler.