juvix
juvix copied to clipboard
Improve inference for polymorphic types
WIP
- This pr tries to fix #2247