Hello all, I wrote some template Haskell code that looks up data in a cassandra database in the system.schema_columns table using this library: https://github.com/the-real-blackh/cassandra-cql/blob/master/Database/Cassan... Currently cassandra-cql lets you make queries like this: getColFamInfo :: Query Rows () (Text, Text, Text, Text, Text) getColFamInfo = "select keyspace_name, columnfamily_name, column_name, type, validator from system.schema_columns" And then it returns type (Text,Text,Text,Text,Text). I'd prefer to be able to write a query like: data MyRecord = MyRecord { a :: Text, b :: Text, c :: Text, d :: Text } getColFamInfo :: Query Rows () (Maybe MyRecord) getColFamInfo = "select keyspace_name, columnfamily_name, column_name, type, validator from system.schema_columns" Point being: I have types being generated from cassandra, but I have no idea where I'd start modifying the cassandra-cql library to use those types. Could anyone offer any direction? Also... Below is a snippet of how Query is implemented, but you can find the full code here: https://github.com/the-real-blackh/cassandra-cql/blob/master/Database/Cassan... Query Looks like: { - START CODE -} -- | The first type argument for Query. Tells us what kind of query it is. data Style = Schema -- ^ A query that modifies the schema, such as DROP TABLE or CREATE TABLE | Write -- ^ A query that writes data, such as an INSERT or UPDATE | Rows -- ^ A query that returns a list of rows, such as SELECT -- | The text of a CQL query, along with type parameters to make the query type safe. -- The type arguments are 'Style', followed by input and output column types for the -- query each represented as a tuple. -- -- The /DataKinds/ language extension is required for 'Style'. data Query :: Style -> * -> * -> * where Query :: QueryID -> Text -> Query style i o deriving Show queryText :: Query s i o -> Text queryText (Query _ txt) = txt instance IsString (Query style i o) where fromString = query . T.pack -- | Construct a query. Another way to construct one is as an overloaded string through -- the 'IsString' instance if you turn on the /OverloadedStrings/ language extension, e.g. -- -- > {-# LANGUAGE OverloadedStrings #-} -- > ... -- > -- > getOneSong :: Query Rows UUID (Text, Text, Maybe Text) -- > getOneSong = "select title, artist, comment from songs where id=?" query :: Text -> Query style i o query cql = Query (QueryID . hash . T.encodeUtf8 $ cql) cql { - END CODE -} Thanks, Cody Goodman