Li-Fan Chen
says to
YSITD
就算有的話也是Haskell Idris那類的