type checking "micro library"