Correct Markdown in 'Sorts and Kind polymorphism'