testcase 9 fails, but 10 is more important (finding MonadThrow)