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 a

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.