Data.Comp.Decompose
data Decomp f v a
type DecompTerm f v
class Decompose f v
structure
arguments
decompose