Added Positions monad
Changed signature of MonadPositions class