Doobie：用值创建常量表

Question

Postgres允许使用以下语法创建常量表以用于查询：

WITH names (id, name) AS (VALUES (1, 'ABC'), (2, 'BCD')) 
  SELECT id FROM names

或内联版本：

SELECT id FROM (VALUES (1, 'ABC'), (2, 'BCD')) AS t (id, name);

假设我有一个Meta[T]实例类的T实例，有没有一种方法编写一种通用函数，该函数采用List[T]并为我创建一个{{1 }}值。