The result of an evaluation is always in WHNF (weak head normal form).
So if it's a function, it's been evaluated to \ x -> ..., but no
evaluation under lambda.
Similarely, if it's a data type it has been evaluated so the outermost
form is a constructor, but no evaluation inside the constructor.
The terms thunk/suspension/closure usually refer to implementation
rather than semantics.
But in terms of an implementation, the answer is no. After evaluation
you will have none of those as the outmost thing.
-- Lennart
2009/2/10 Gregg Reynolds <dev at mobileink.com>:
> Is the result of evaluation a thunk/suspension/closer?