Types of kind other than * has to be used ( e.g. Maby-ching). A specialized marshaling instance is then generated for each of these instances.
Types with kind other then * have to be fully applied. (e.g. Maybe String). A specialized Marshaling instance is then generated for each of these instances.