Sketch typeclass relations in skrj.v