Can a type be alienated from their leading function?

Printable View