Steg typeclass and StegBox existential type to neaten up the code