module type LinkedList = module type of List
module type LinkedList = @attr
module type of List
