The context is she is using Haskell type declarations as if it was a regular programming language. Arguable the type declarations are interpreted, and dynamical

The context is she is using Haskell type declarations as if it was a regular programming language. Arguable the type declarations are interpreted, and dynamically typed in the sense that there is no static type checking before the interpretation.