module B : (A with type 'a t = { l : 'a list }) =
struct
  type 'a t = { l : 'a list }
end