This post doesn't deal much with the GHC-toolkit, but with introductry application of the very basic ideas of
from the category of sets to types,functors, monads
To the following Haskell data structure manipulations useful in writing a non/deterministic programs
traverse a treeconcat or fmap a list[^1]: Y-combinator for using iterations,recursion in the calculus