*> <$ <$> <* <*> <|> chain edge eoi getSemRep pSucceed
*>
<$
<$>
<*
<*>
<|>
chain
edge
eoi
getSemRep
pSucceed