equational-reasoning <0.2.0.1 || >0.2.0.1 && <0.4.1.0 || >0.4.1.0