module T13644C where data T = T { name :: () }