au: 對了, 前一陣子我跟 suhorng 發現在 Haskell 可以用 unsafePerformIO 作出 unsafeCoerce.. XD