simple assertions for any type