Agda filetype non-detected/non-existing

[foxyseta]

Whenever I open an .agda/.agda-lib file, the agda filetype is not detected, and hence the tree-sitter-agda (which is correctly installed) is not enabled on the buffer.

If I use :set filetype agda, the agda filetype seems to be never have been defined.

If I manually enable tree-sitter-agda via :TSEnable, nothing happens (no syntax highlighting).