example of type class
example of higher order type
removed deprecated method, moved higher order example to util
removed compiler warnings
moved typeclasses and higher kind to magic package