Re: problems figuring out what the type system is telling me