block-comment-before-argument.hs

checkPragma =
        ifM (anyM isBuiltin [builtinNat, builtinBool])
          {-then-} ok
          {-else-} notPostulate