Type and Nothing Else