List 14 - strict Fun with denotational semantics