Except for the little fact that Eiffel has had those features since 1986.

Agda first release was in 2007 Idris also in 2007 Liquid Haskell thesis was published in 2016