First monad -- GoodLine becomes a BadLine if some Note is produced by a checker function.