Work on level typeclass