Delete #equational.hs#