A monadic null chain checker