Data.Zero

class Zero a

data Product a

data Any

data All

data Success a

success

failure