Hello,

       Does Haskell currently have support for linear types and dependent types? If so, is it necessary to specify a "pragma" to use and if so, what is the pragma(s)?


Kind regards,

Vasili