[Hugs-users] wrong infered types?