Synopsis This is a continuation from the last lecture. Now we want to be able to give types for functions like id :: a -> a. Videos Polytype Semantics Handouts Polytype Activity (POGIL version)