In Haskell, there is no sharp distinction between a variable and a
function: a function is just a variable (binder) with a function
type. This means that a top level function is just any top level
In Haskell, there is no sharp distinction between a variable and a
function: a function is just a variable (binder) with a function
type. This means that a top level function is just any top level