Beaver Trouble Typing