Sé que Haskell ya tiene la capacidad de parametrizar un tipo sobre otro tipo (similar a la programación de plantillas en C ++), pero me pregunto si Haskell también puede parametrizar un tipo sobre valores, si admite tipos dependientes. Con los tipos dependientes, puede tener un tipo parametrizado...