stubbedFileLoader path = throwError $ userError $ "cannot open unknown file: "++path
stubbedFileLoader path = throwError $ userError $ "cannot open unknown file: "++path
stubbedFileLoader path = throwError $ userError $ "cannot open unknown file: "++path