reintegrated logic Haskell (with null json output)