> For the complete documentation index, see [llms.txt](https://haskell.hpmeducation.com/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://haskell.hpmeducation.com/types-in-haskell.md).

# Types in Haskell

- [Introduction](https://haskell.hpmeducation.com/types-in-haskell/untitled.md)
- [Basic Types](https://haskell.hpmeducation.com/types-in-haskell/basic-types.md)
- [Static Type Check](https://haskell.hpmeducation.com/types-in-haskell/static-type-check.md)
- [Polymorphic and Overloaded Types](https://haskell.hpmeducation.com/types-in-haskell/polymorphic-and-overloaded-types.md)
- [Data Structure Types](https://haskell.hpmeducation.com/types-in-haskell/data-structure-types.md)
- [Lists](https://haskell.hpmeducation.com/types-in-haskell/data-structure-types/lists.md)
- [List Functions](https://haskell.hpmeducation.com/types-in-haskell/data-structure-types/lists/list-functions.md)
- [Tuples](https://haskell.hpmeducation.com/types-in-haskell/data-structure-types/tuples.md)
- [Function Types](https://haskell.hpmeducation.com/types-in-haskell/function-types.md)
- [Curried Functions](https://haskell.hpmeducation.com/types-in-haskell/function-types/curried-functions.md)
- [Partial Application](https://haskell.hpmeducation.com/types-in-haskell/function-types/partial-application.md)