Summary

This seems like unintended behavior because:

1. AssocMap uses lists, so they probably should work
2. There is instance of HasSchema for [x] provided

Steps to reproduce the behavior

Compile:

definitions :: Definitions (Unroll [Integer])
definitions = error "TODO"

Same for deriveDefinitions @'[[Integer]]

Actual Result

Typechecking fails with error like Reduction stack overflow; ...

Expected Result

Type-checking does not fail.

Describe the approach you would take to fix this

No response

System info

plutus-tx 1.27.0.0

GHC 9.6.3