
record_update.erl:7:2: Invalid type specification for function record_update:quux/2.
 The success typing is record_update:quux(#foo{bar::atom()},atom()) -> #foo{bar::atom()}
 But the spec is record_update:quux(#foo{},string()) -> #foo{}
 They do not overlap in the 2nd argument
