-record(type_mismatch, {
    left :: girard@types:type(),
    right :: girard@types:type()
}).