You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
All of these keypaths would have to be optionally-typed because we don't have a guaranteed projection (prism-like) like we do for product types (lens-like).
Additional Detail from JIRA
md5: 451b3f7df8e7d6b288d80f2e95904a96
Issue Description:
Key paths currently only work for product types, but sum types would benefit, as well!
The text was updated successfully, but these errors were encountered: