should i use a pool or connection in mysql - Theo's Typesafe Cult