This is explained at ruclips.net/video/6Ljv5FHGXDM/видео.html Basically THUNK_X_Y is a specialized version of THUNK, where X is number of pointer fields and Y is number of data fields. These specialized versions of THUNK are there to speedup GC for commonly occurring cases of constructors with low number of fields.
35:00 So that * is kinda a glob wildcard and not the basic kind (the one that corresponds to Type in Idris)?
in -hT THUNK VS THUNK_1_0 vs THUNK_2_0. What is the difference?
This is explained at ruclips.net/video/6Ljv5FHGXDM/видео.html
Basically THUNK_X_Y is a specialized version of THUNK, where X is number of pointer fields and Y is number of data fields.
These specialized versions of THUNK are there to speedup GC for commonly occurring cases of constructors with low number of fields.
how to expand *?