I was wondering: Is there any reason why SockAddr (and other types in Network.*) are not instances of Typeable?