mkImpl :: String -> String -> String -> String
mkImpl f lid imp =
  f ++ " " ++ lid ++ " = " ++ imp
mkImpl :: String -> String -> String -> String
mkImpl f lid imp =
  f ++ " " ++ lid ++ " = " ++ imp
mkImpl f lid imp =
  f ++ " " ++ lid ++ " = " ++ imp