The IO Handle can definitely be broken down. In fact, this may be a perfect opportunity for Phantom Types.