Non-Data List/Tuples lead to compiler crash

[KtorZ]

What Git revision are you using?

v1.0.23-alpha+8584adc

What operating system are you using, and which version?

• Linux / Ubuntu
• Linux / Other
• macOS
• Windows

Describe what the problem is?

Encountered aiken::fatal::error

   crates/aiken-lang/src/gen_uplc.rs:1584:17

       internal error: entered unreachable code: We need a data type definition for type Fn {
       args: [
           App {
               public: true,
               module: "",
               name: "Int",
               args: [],
           },
       ],
       ret: App {
           public: true,
           module: "",
           name: "Int",
           args: [],
       },
   }

While building the following code:

type Foo =
  List<fn(Int) -> Int>

validator {
  fn spend(datum: Foo, redeemer: Data, context: Data) -> Bool {
    True
  }
}

A similar error occurs with tuples as well:

type Foo =
  (fn(Int) -> Int, ByteArray)

validator {
  fn spend(datum: Foo, redeemer: Data, context: Data) -> Bool {
    True
  }
}

What should be the expected behavior?

This should have been caught by the type-checker earlier as it isn't allowed to define a List/Tuples of non-Data entities to begin with. This shouldn't reach down to code-generation (so that it is properly unreachable).