The Second Presence Prototype. (3rd one in Haskell? ;) )