GHCi support for levity-polymorphic join points