diff --git a/VL2/content/VL2_polymorphism2.tex b/VL2/content/VL2_polymorphism2.tex index 0955531..d686409 100644 --- a/VL2/content/VL2_polymorphism2.tex +++ b/VL2/content/VL2_polymorphism2.tex @@ -12,7 +12,7 @@ We can also have: f :: a -> b \end{haskellcode} \pause -So, whatever the function does... it has something of one type and returns something of another type. \hinline{b} \emph{could} be the same type as \hinline{a} here, but it doesn't need to! That's all we know about this function. +So, whatever the function does... it gets something of one type and returns something of another type. \hinline{b} \emph{could} be the same type as \hinline{a} here, but it doesn't need to! That's all we know about this function. \vspace{\baselineskip} \\ \pause