Boredom and a day: Simple generics for PHP