load :: String -> String -> Either String File
load fname txt = do
  decls <- left show $ parse file fname txt
  left show $ validate decls
load :: String -> String -> Either String File
load fname txt = do
  decls <- left show $ parse file fname txt
  left show $ validate decls
load fname txt = do
  decls <- left show $ parse file fname txt
  left show $ validate decls