And to answer your question my experience in strongly typed functional FP was building a few applications in Elm, a derivative/cousin of Haskell.