strip bangs, contexts and foralls for every constructor of a datatype