for better laziness, TyConApp holds addresses instead of either thunk or values, as well as the Pair type value