-- | Returns @True@ for value arguments, false for type args
-- NB: coercions are value arguments (zero width, to be sure,
-- like State#, but still value args).
isValArg :: Expr b -> Bool
isValArg e = not (isTypeArg e)
isValArg :: Expr b -> Bool
isValArg e = not (isTypeArg e)
isValArg e = not (isTypeArg e)