Version of Drunk with type classes, but nothing works.