Haskell prototype (RV2013)