Fooing with type checking