type error = | WrongFunctionArguments exception Error of error