and its type system (0)

by J Fairbairn Ponder