Added another haskellforall exploration.