Sure, there is a restriction on the type of E. This is similar to Zig's result ADT, I think?