Insert limited for deriving from limited types explicitly