Another thing, this example wouldn't type check unless it is verifiably a list of non blank strings:

    print [s for s in lst if s.head != '_']

The section about dependent typing says `lst.head` would be a compile time error in some cases.