mkDecl :: String -> String -> String -> String
mkDecl n t v = n ++ " :: " ++ t ++ "\n" ++ n ++ " = " ++ v
mkDecl :: String -> String -> String -> String
mkDecl n t v = n ++ " :: " ++ t ++ "\n" ++ n ++ " = " ++ v
mkDecl n t v = n ++ " :: " ++ t ++ "\n" ++ n ++ " = " ++ v