needed stronger fun dep assumptions to get things to type check for Sized Lists