Ersatz.Solution

data Solution

solutionFrom

data Result

type Solver s m