如何限制函数的调用者在Haskell中传递串联字符串？

问：

我正在查看 Bryan O'Sullivan 的名为 mysql-simple 的 mysql 的 haskell 客户端库。该库不允许用户使用串联字符串作为查询。

以下工作正常：

myQuery :: Query
myQuery = "SELECT id, name FROM users LIMIT 1"

但是，这失败了：

myQuery :: Query
myQuery = "SELECT id, name FROM users LIMIT 1" ++ ""

这是我在运行以下示例时遇到的错误：

do
  rows <- (query_ connection myQuery) :: IO [( Int , String)]
...


• Couldn't match expected type ‘Query’ with actual type ‘[Char]’
• In the expression: "SELECT id, name FROM users LIMIT 1" ++ ""
  In an equation for ‘myQuery’:
      myQuery = "SELECT id, name FROM users LIMIT 1" ++ ""

我的问题是，是什么让这种限制成为可能？

从源代码中可以看出这是故意的，但我无法理解其背后的基本概念。是因为类型不是类型类的实例吗？另外，即使我连接了字符串，类型检查器也不应该推断生成的字符串可以用作？QueryStringQuery

提前致谢。