fixed up an example discovered that type checking doesnt work