На прошлой работе делал презентацию по Haskell (и функциональной парадигме вообще). Презентация рассчитана на неподготовленную аудиторию, поэтому некоторые сложные аспекты типа хвостовой рекурсии не рассматриваются, а о монадах приведены только самые общие сведения. Смотреть здесь.