Add example of Dialyzer bailing out on opaque data type access