Remove types from Haskell judging in TESTed

[tibvdm]

I have the following python syntax in my tested YAML file:

- tab: geefNde
  contexts:
    - testcases:
      - expression: geefNde(2, [1, 2, 3, 4])
        return: 3

In the translation from Tested to Haskell, the judge adds the types to the arguments. The expression is translated to geefNde 2 :: Int [1 :: Int, 2 :: Int, 3 :: Int, 4 :: Int]. Since this isn't valid Haskell syntax, Dodona shows an error:

Execution0.hs:57:54: error:
    Illegal type: ‘[1 :: Int, 2 :: Int, 3 :: Int, 4 :: Int]’
      Perhaps you intended to use DataKinds
   |
56 |             r <- return (Submission.geefNde 2 :: Int [1 :: Int, 2 :: Int, 3 :: Int, 4 :: Int])
   |                                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Execution0.hs:57:55: error:
    Illegal type: ‘1’ Perhaps you intended to use DataKinds
   |
56 |             r <- return (Submission.geefNde 2 :: Int [1 :: Int, 2 :: Int, 3 :: Int, 4 :: Int])
   |                                                       ^
Execution0.hs:57:65: error:
    Illegal type: ‘2’ Perhaps you intended to use DataKinds
   |
56 |             r <- return (Submission.geefNde 2 :: Int [1 :: Int, 2 :: Int, 3 :: Int, 4 :: Int])
   |                                                                 ^
Execution0.hs:57:75: error:
    Illegal type: ‘3’ Perhaps you intended to use DataKinds
   |
56 |             r <- return (Submission.geefNde 2 :: Int [1 :: Int, 2 :: Int, 3 :: Int, 4 :: Int])
   |                                                                           ^
Execution0.hs:57:85: error:
    Illegal type: ‘4’ Perhaps you intended to use DataKinds
   |
56 |             r <- return (Submission.geefNde 2 :: Int [1 :: Int, 2 :: Int, 3 :: Int, 4 :: Int])
   |                                                                                     ^
[1 of 6] Compiling EvaluationUtils  ( EvaluationUtils.hs, EvaluationUtils.o )
[2 of 6] Compiling Submission       ( <code>, Submission.o )
[3 of 6] Compiling Values           ( Values.hs, Values.o )
[4 of 6] Compiling Execution0       ( Execution0.hs, Execution0.o )

Is it possible to remove these types from the translation or add an option to disable it?