understanding type classes
reverse typeclass!!!
reverse for lists now
more comments. implicit arg version....
higher kind playing around.