FSiS Part 1 - Type Constructors, Functors, and Kind Projector

so the first thing I want to talk about is is just different kinds of types so let's talk about like an integer or a string here I'm at the repple and I could say like Val X has type integer and we'll assign it the value 1 we can also say like Val X is plural could be type I'm sorry at list of integer and we'll assign it the value is 1 2 3 and so in each of these two cases both X and X's have a proper type they have you know a type of sign to them you know here X is a ...