import qualified Database.Esqueleto.Experimental as E

foo =
  E.from $
    E.table
      `E.innerJoin` E.table
        `E.on` ( \(a :& b) ->
                   a E.^. AField E.==. b E.^. BField
               )