Data.FastMult
data
FastMult
n
type
FastMultSeq
simplify