灾难:一个用于在Haskell中编写不一致机器人的库