export the record constructors, useful for `choose'
export the record constructors, useful for `choose'

Ignore-this: bc06b33f525749eeb33ab6d5cf2fb1a

darcs-hash:20090911024325-115f9-4ce6986a8febf209a345c936bb8863460cd62e84.gz

phaazon/cuda,phaazon/cuda,phaazon/cuda,mwu-tow/cuda