fix: adt example in introduction.md

[magnus-madsen]

Thanks! :)