I want the upper bounds to be codified when you create the data loader, but every addition to the loader (using the sealed class) enforce the type upper bound, at compile time, without having to specify it explictly for every call