Type Definition combinedfun::NoError

type NoError = ();

The unit type can be used to not keep track of what specifically got the parser to fail.