rrnewton opened this issue 11 years ago · 0 comments
This means using more existential types, e.g. SomeSimpleBackend.
SomeSimpleBackend
This gets tricky in combination with type functions like SimpleRemote b.
SimpleRemote b