typpx is a library to build PPX'es with types. Typing the input Parsetree by the vanilla or modified OCaml compiler's type inference, you can perform AST transformation with type information over Typedtree.

For examples, it includes:

• ppx_curried_constr, which makes variant constructors curried functions
• ppx_type_of, a function to get the type name of argument.