add 025 README, 025.hs