centered] 21 22 % docstring shape 23 \tikzstyle{docstring}=[draw=orange, fill=white, minimum width=50mm, text width=80mm,␣ �→minimum height=1cm] 24 25 % arrows shape 26 \tikzstyle{arrow} = [ultra thick

则。若我们（用 :cs!）更新文件后再拆分同一行的 ys，就会得到： vzipWith f [] [] = ?vzipWith_rhs_3 1. 11. 交 交 交互 互 互式 式 式编 编 编辑 辑 辑 50 I d r i s 语 语 语言 言 言文 文 文档 档 档, 版 版 版本 本 本 1. 3. 1 即，模式变量 ys 被拆分成了 [] 这一个情况，因为 奉 奤 奲 奩 女 发现另一种可能的情况 奥 奡奰 奰 奲 奯奰 奲 奩 奡奴 奥 奥 奸 奣 奥 奰 奴 奩 奯奮 夺 *Exception> the (Either Error Int) $ run (parseNumber 42 "50") Left OutOfRange : Either Error Int *Exception> the (Either Error Int) $ run (parseNumber 42 "twenty")