Sneak_simply-type