WithFilter
Optional
Wrapped
Newtype
Writer
prelude
withFilter
Optional WithFilter ZPureWithFilterOps
wrap
Newtype
wrapAll
Newtype NewtypeF SubtypeF