Data.Zero

class Zero a

data Product a

data All

data Success a