Generic types

[yelouafi]

actually

var NumList = Type({Nil: [], Cons: [Number, List]});
var StringList = Type({Nil: [], Cons: [String, List]});

with generics

var List = Type( T => {Nil: [], Cons: [T, List(T)]});

NumList = List(Number)
list = NumList.Cons( 1, NumList.Nil() )

One can actually do that himself by

var GType = FT => T => Type( FT(T) );
List = GType( T => {...})

Edit: fixed code above

but i think it's nice to have in the lib

[yelouafi]

Oops! this wont work

var List = Type( T => {Nil: [], Cons: [T, List(T)]});

because w'd have someway to pass the type param to the nested List, but at this point List is undefined, the GType method actually yields to in infinite recursion