Rename JSON.hs to Json.hs