WithFilter

Optional

Wrapped

Newtype

Writer

prelude

when

ZPure

whenCase

ZPure

withFilter

Optional WithFilter

wrap

Newtype

wrapAll

Newtype NewtypeF SubtypeF