Re[2]: Rigid types fun