Stypetype ElaborateFromTo (uni :: Type -> Type) (i :: Nat) (j :: Nat) val a = HandleHole uni i j val (TypeHole a)Peek#