-record(module_result, {
    annotated :: girard:annotated_module(),
    skipped :: list({binary(), girard@types:error()})
}).