with lazy evaluation which are essentially rooted in the fact that lazy evaluation is

Haskell is a merely functional and statically typed programming language with type inference and lazy evaluation.

Haskell is a statically typed, purely functional programming language with type inference and lazy evaluation.

it still allows lazy evaluation of value definitions with the lazy val syntax form.

The &&, ||, and ?: operators have lazy evaluation , just as in C, which means that operands are not evaluated if they are not needed to determine the outcome.