withMonad

IngotSyntax