typesafety tests...
typesafety checks - done