Hi I just released a IOType version 1.1. It fixes two bugs: - the preprocessor would output "()" instead of "unit" in signatures - the preprocessor would output functions with record arguments that sometimes wouldn't typecheck There are no other changes. Debian i386 binaries and source are available at: http://yumegakanau.org/code/iotype/