make EmptyHP a case object