typy, definice funkcí, pattern matching, seznamy, základní vestavěné funkce a operátory: :load, :type (:t), (++), (:), (==), fraenklovy termy pro seznamy, lambda termy, curryfikace, grafická syntaxe, @, let, where, typové třídy (class, instance, deriving), základní typové třídy (Eq, Ord, Num, Show)