There is a visualization tool that describes Haskell, PureScript and Elm types: typedraw. How about Idris and its dependent types? The following images are from typedraw’s repository.
This idea of visualizing types nicely goes with an image giving an analogy between types and a shape sorter.