Inductive Type Schemas as Functors