started dev. typecheck-func