Generics.Putlenses.Examples.Color
data Color
type Vertex
type ColoredGraph
type Edges
type Graph
lookupColor
colors
red
blue
green
yellow
genColors
allColors
uncolor
differentColor
isCorrect
isCorrectNode
mkColor
mkColorNaive
genColorsNaive
allColorsNaive
genGraph
genGraph'
genEdges
genEdge
colorPut
colorPutNaive
testColor