reorganization; instances -- 'lift' computations that shouldn't be handled (even for non-transformer typeclass ops), handle those that can be naturally