add monadic label utilities