9 Jan
2013
9 Jan
'13
1:16 a.m.
Is the Unsafe module all about getting efficient conversions between types that have the same representations due to embedded newtypes? (If so, the issue is not about functoriality.)