Signature of abstract syntax constructors