- Unspecialized type args
// Specialized
f1 f1$mIc$sp
f2 f2$mIc$sp
f3 f3$mIc$sp
f4 f4$mIc$sp
f5 f5$mIc$sp

// Unspecialized type args
f4(Boolean) f4
f4(String)  f4

// Ideally these would be specialized
todo1 todo1
todo2 todo2
todo3 todo3