Currently typeclasses are prepended with `$` to avoid name collision. This is a temporary fix.
Activity
HosseinYousefi commentedon Oct 8, 2024
Nothing is more permanent than a temporary solution.