Gravar-mail: A checklist for designing health insurance programmes – a proposed guidelines for Nigerian states