Correct format for empty nodes / haddock comment for Checker.hs