Back to unsafeInterleaveIO :-/. But got rid of type families.