Interpreting types