Typeclasses

formidable