getPreludeJSONPath = (`replaceExtension` ".json") <$> getPreludeTSPath
getPreludeJSONPath = (`replaceExtension` ".json") <$> getPreludeTSPath
getPreludeJSONPath = (`replaceExtension` ".json") <$> getPreludeTSPath