New wall sumer Square root Test Modeling algebraic understanding with Haskell in KS1 Reader Haskell Tree example Producter equiv_strings Derive type class for parameterized data type