Procedure bindings of parameterized derived types with KIND type parameters need to be implemented for the various distinct sets of values with which the KIND type parameters will be instantiated, and they really need to be collected into a generic type-bound procedure to be useful in practice. You could also implement a TBP for a KIND PDT using an unlimited polymorphic PASS dummy argument, but that just moves the problem from compilation time to run time without adding any more flexibility.