import shapeless._
import doobie._
import doobie.postgres._
import doobie.util.Write


type Good =   String :: Option[String] :: Int :: String :: String :: String :: String :: Option[String] :: Boolean :: Option[String] :: String :: String :: Option[String] :: Option[String] :: Option[String] :: Option[String] :: Option[Int] :: Option[Int] :: Option[String] :: Option[String] :: HNil

type Bad =   String :: Option[String] :: Int :: String :: String :: String :: String :: Option[Char] :: Boolean :: Option[String] :: String :: String :: Option[String] :: Option[Char] :: Option[Char] :: Option[String] :: Option[Int] :: Option[Int] :: Option[String] :: Option[Char] :: HNil

Text[Good]
Text[Bad]