Does this really work? A quick test with a method that takes no arguments and returns an object reveals:
- method_getTypeEncoding() returns "@16@0:8"
- fullObjCTypes returns "@@:"

Are the numbers interspersed with the types relevant for our purposes?