code: function resolvePropPath(t, propPath) {
      return Z.reduce (function(t, prop) { return t.types[prop]; },
                       t,
                       propPath);
    }
docs: resolvePropPath :: (Type, Array String) -> Type