Equality.lidr 175 Bytes