deconstructed type