add Data.Maybe.Param.{Unary,Binary}
add Data.Sum.Param.{Unary,Binary}
add Data.Product.Param.Binary
add Data.Two.Param.Unary
Add Data.One.Param.Binary
Add Data.Zero.Param.Binary
Add Data.Dec.Param.{Unary,Binary}
Various
With or without K