type checking now works