Use backtick notation to bring type variables into the world of values.
Uncurry functions so the C backend can handle them.