The way this happens underneath is that every type that has a Num instance has a fromInteger function. If a literal like 3435 is encountered, the fromInteger fu

The way this happens underneath is that every type that has a Num instance has a fromInteger function. If a literal like 3435 is encountered, the fromInteger function gets called on it to convert it to the appropriate type.