New Phrasebook entry: Dynamic typing

In Haskell, all types are known statically at compile time. Or are they? We don’t use Dynamic, but we don’t like to say that Haskell can’t do something. If you want dynamic typing, here you go!