Experimental implementation of Bayeux protocol in Haskell