The question and the starter code are in And.hs

AndDef.hs has the definitions.

testAnd.hs has sample test cases.
TestLib.hs is support file.