abs subset to pure haskell