Interpret a type as itself in functional contexts. More...
Interpret a type as itself in functional contexts.