1/2: Building DerivingEq (DerivingEq.idr)
2/2: Building test (test.idr)
