ivenmarquardt
commented
3 years ago The following changes were carried out:
- optional typed Scott encoded continuations are banned now
- both the original and the wrapper type in single cons ADTs unify to the proper type now
Therfe are still some open issues, though:
- Is a typed Scott encoded continuation useful in some cases?
- What happens if the original type in a single cons ADT isn't a function?
this is a follow-up error from the revision of both operations.