subsume Generic materialization using ADT