As Haskell is statically typed, if y.length < 100, y is still of type Big... On 22 July 2011 10:18, Patrick Browne <patrick.browne at dit.ie> wrote: > 2) Assert the type of a variable > e.g. if y.length > 100 then y is of type big.