Trace Monotypes