Type error: error: ProjectionMissingEntry --> :1:0 | 1 | { y = {=} }.{ x } | ^^^^^^^^^^^^^^^^^ ProjectionMissingEntry |