refined pat 1025 ruby; add 1025 haskell, last case TLE