Just package:relational-record

Cast record phantom type into Maybe.
Operator corresponding SQL NOT (... IS NULL) , and extended against record type.