Simplify A.hs