module M
alias G = rel[loc, set[E
data P = t() | f();
