Yolc – a Haskell-powered, safe, expressive, fun language for Ethereum