probably can reify method types as well