Hola Santiago.
El problema surge porque el literal
El problema surge porque el literal
1 tiene un tipo más general que Int:
ghci> :t 1
1 :: Num a => a
Para acotar el tipo a
Int, podes anotarlo directamente en la expresión, utilizando :: Int. En tu ejemplo quedaría:ghci> size (1 :: Int)
1 Saludos,
Germán.