Shae (#haskell) figured out that this is called for and that GHC has trouble deriving for large tuples. I have no idea what type of a performance hit this is gonna be but I hope it's resolved at compile- time and there's no impact afterwards. type TableInfo = TableInfo1 :*: TableInfo2 type TableInfo1 = AvgPot :*: NumPlayers :*: Waiting :*: PlayersFlop :*: TableName :*: TableID :*: GameType :*: InfoMaxPlayers :*: RealMoneyTable :*: LowBet :*: HighBet :*: HNil type TableInfo2 = MinStartMoney :*: MaxStartMoney :*: GamesPerHour :*: TourType :*: TourID :*: BetType :*: CantReturnLess :*: AffiliateID :*: NIsResurrecting :*: MinutesForTimeout :*: SeatsToResurrect :*: LangID :*: HNil Thanks, Joel -- http://wagerlabs.com/