switched to monad-st, simplified Slow. Added Foldable/Traversable
instances for Partial