Thanks for the suggestion. I have added NoPolyKinds to the initial solution.
I didn't need it in my solution, but haven't investigated where exactly the issue comes from, yet.

Seems like the original solution was automaticly ported to a new GHC version, and that broke it. The code compiles fine with NoPolyKinds language extension set, so i propose enabling it

My solution passes sample tests, but fails to compile on submission

test/ImperativeSpec.hs:216:1: error:
    • Uninferrable type variable k10 in
      the type synonym right-hand side:
      forall v st (s :: k10).
      HasValue st v b =>
      Var st a -> v -> Imperative @{k10} @{k10} st s s ()
    • In the type declaration for ‘Op’
    |
216 | type Op a b = forall v st s. HasValue st v b => Var st a -> v -> Imperative st s s ()
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Idk, it looks like an internal problem

Could you explain how this works?

Haskell GHC 9.2.5

tan related tests should accept answers expressed with cos

simple expressions

f(x) = (tan x)
f'(x) = (/ 1 (^ (cos x) 2))

 actual:   `"(/ 1 (^ (cos x) 2))"`,
 expected: `"(+ 1 (^ (tan x) 2))"`

Nested expressions

f(x) = (tan (* 2 x))
f'(x) = (* 2 (/ 1 (^ (cos (* 2 x)) 2)))

  actual:   `"(* 2 (/ 1 (^ (cos (* 2 x)) 2)))"`,
  expected: `"(* 2 (+ 1 (^ (tan (* 2 x)) 2)))"`

There was a fix merged into scala tests, so hopefully issues with Scala translation are resolved. If there's still something wrong, please reraise the issue.

now it works, thank you!

Duplicate issue.

There's a fork with a fix waiting for approval, I am going to approve it and would ask you to let me know if it fixes the issue, is this ok?

Scala tests are flawed, identical c# code works just fine