suffix :: forall n m a. (HotClass n, HotClass m, m <= n) => Hot n a -> Hot m a
suffix x = runSub $ unfold buildSub $ Sub from (elementAt x) where
  from = length x - length (undefined :: Hot m a)
suffix :: forall n m a. (HotClass n, HotClass m, m <= n) => Hot n a -> Hot m a
suffix x = runSub $ unfold buildSub $ Sub from (elementAt x) where
  from = length x - length (undefined :: Hot m a)
suffix x = runSub $ unfold buildSub $ Sub from (elementAt x) where
  from = length x - length (undefined :: Hot m a)