rename no type check to skip type check; remove unnecessary type check skips
fix input; fix monad