typo and misunderstanding about Haskell

BS对Haskell的描述有误：

* Haskell语言肯定是non-strict的 —— 这无疑是事实。
* 实现的改变会导致接口改变 —— 个人认为这是BS没有考虑到Haskell可以显示添加类型签名的情况。

但我不知道怎样（位置、语言、颜色、字体）加到字幕中比较合适。