Зависни Типови у Хаскелу Ова тема се сматра напредном и подразумева неко предзнање иако ћу покушати да обезбедим линкове за термине који нису објашњени у тексту.