Once you recognize the patterns, it seems clearly in the ML tradition. Some bits and pieces look exactly like Haskell at first glance.

Oh it’s a ML alright, fits right next to Agda for example.

It's definitely ML-relevant, but I'd argue that it's in its own league, and is maybe a suitable ur-language for that league.

ML