Use "will fail" for covariant type relationship examples, like with contra.
Use "will fail" for covariant type relationship examples, like with contra.

Thanks to @larsrh in #116 for the suggestion.

S11001001/typelevel.github.com,melrief/typelevel.github.com,S11001001/typelevel.github.com,S11001001/typelevel.github.com,melrief/typelevel.github.com,typelevel/typelevel.github.com,melrief/typelevel.github.com,melrief/typelevel.github.com,typelevel/typelevel.github.com,typelevel/typelevel.github.com,S11001001/typelevel.github.com