Małe co nieco o inferencji i sprawdzaniu typów.