isEmpty
Cons
Empty
ListLike
isSolved
BoardLike
isUnsolvable
BoardLike