Skolemize types introduced by pattern matches
Skolemize types introduced by pattern matches

- This can currently only happen due to polymorphic effects, but
  code has been implemented for data types as well.

unisonweb/platform,unisonweb/platform,unisonweb/platform