Helper module for converting Procedure.
Procedure
{ unwrap : a -> Maybe b , wrap : b -> a }
Use to convert local event types.
compose : Wrapper a b -> Wrapper b c -> Wrapper a c