type-machine: Subtyping Struktural di Haskell

Haskell hanya mendukung penamaan field secara nominal, bukan struktural.

type-machine memanfaatkan Template Haskell untuk menurunkan tipe record dengan type-transformers seperti pick, omit, record, intersection, dan apply.

Operator infix `<:>` dan `<::>` memudahkan perangkai dan penerapan type-transformers.

defineIs dan deriveIs menghasilkan kelas tipe IsX untuk getter, setter, dan konversi, mensimulasikan subtyping struktural.

Benchmark menunjukkan type-machine lebih cepat dalam pembuatan record, traversal field, dan kompilasi dibanding library extensible dan superrecord.

Keterbatasan library meliputi kebutuhan DuplicateRecordFields, hanya mendukung ADT dengan satu konstruktor, serta defineIs belum sepenuhnya menggantikan HasField.