Category theory using haskell | AbS