A bug about type checking is fixed in Pi.hs.