First attempt to type safe interpretations for methods