data Context c d a

data Focusing m c a

data FocusingWith w m c a

data FocusingPlus w k c a

data FocusingOn f k c a

data FocusingErr e k c a

data Err e a

data FocusingMay k c a

data May a

data Traversed f

data Sequenced m

data Indexing f a

data IndexingResult f a

data Min a

getMin

data Max a

getMax

data ElementOf f a

data ElementOfResult f a

data Bazaar c d a

bazaar

duplicateBazaar

sell

data Effect m r a

data EffectRWS w s m c a

class Gettable f

data Accessor r a

class Effective m r f

ineffective

noEffect

data Folding f a

class Settable f

data Mutator a

data Level a

levelWidth

leftLevel

left1Level

leftmostLevel

rightLevel

right1Level

rightmostLevel

rezipLevel

focusLevel