No, it just to `fix` the types. Or in other words ...
# arrow
s
No, it just to
fix
the types. Or in other words impl higher kinded types outside of the compiler.
👍 1