Improve WellTyped inference for complex types
Clarification and motivation
Currently, WellTyped
is defined in the way in which it is impossible for compiler to deduce e.g.
WellTyped t
from WellTyped (TOption t)
. However, we'd like to have such behaviour
Acceptance criteria
WellTyped
has better inference for complex types.