WhitelistB
Prop
Writer
scalaz
whitelist
Eval EvalOver Prop