TRACE MONOTYPES