title: Is it possible for GHC to determine arity at compile time?
body: <p>As Haskell encourages currying, many libraries expose high-order constructs. These libraries have no way of knowing the arity of their arguments - I believe that GHC generates code that inspects the arguments at runtime (eval/apply).</p>
  
  <p>Can I inspect and guarantee generation of code that does not check for arity at runtime?</p>