Draft of entities in Haskell