arg_ok (PrefixPred p    _)  rest _   = notNull rest && p (dropEq rest)
arg_ok (PrefixPred p    _)  rest _   = notNull rest && p (dropEq rest)
arg_ok (PrefixPred p    _)  rest _   = notNull rest && p (dropEq rest)