Control.Monad.Apiary.Filter.Capture
data Equal
data Fetch a
class CaptureElem a
type Capture as
type family CaptureResult bf as :: [*]
capture'
capture