Wibble in IRType