mkMessage :: String -> String -> Message
mkMessage m t = Message (Name [m]) $ mkMessageType t
mkMessage :: String -> String -> Message
mkMessage m t = Message (Name [m]) $ mkMessageType t
mkMessage m t = Message (Name [m]) $ mkMessageType t