block-comment-before-argument-out.hs

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