Don't work too hard. Use Haskell.
PureScript for the Haskeller
Where to get started in PureScript for the Haskell programmer
on December 17, 2015
Servant, Type Families, and Type-level Everything
A look at advanced GHC features used in Servant
on July 10, 2015