#DONE: Add other method of type checking ?