Monadic Contract