Replying again since I can't edit my comment: Idris, Elm and PureScript.