Data.Existential

type Cell

data Cell1 f constr

class HasCell a b

makeCell

makeCell1

_Cell

_Cell'

_Cell1

_Cell1'

asCell

asCell1

traverseCell

traverseCell'

traverseCell1

traverseCell1'

mapCell

mapCell'

readCell1

readCell1'

readCell

readCell'

apply2Cells

apply2Cells'

apply2Cells1

apply2Cells1'

map2Cells

map2Cells'

map2Cells1

map2Cells1'

read2CellsWith

read2CellsWith'

read2Cells1With

read2Cells1With'

read2CellsH

read2CellsH'

read2Cells1H

read2Cells1H'

cell1Equal

cell1Equal'

cellEqual

cellEqual'

cellCompare

cellCompare'

cell1Compare

cell1Compare'

cellLens

cellLens'

cell1Lens

cell1Lens'

arbitraryCell

arbitraryCell'

arbitraryInstanceOf

arbitraryInstanceOf'

onIdentity

prop_consistent_equal

prop_consistent_compare

run_tests