fset
  :: forall proxy signat a . KnownSigNat signat
  => proxy signat
  -> (Proxy signat -> a)
  -> a
promoteOffset = promoteSigNat

-- |
--
promoteOffset
  :: forall proxy signat a . KnownSigNat signat
  => proxy signat
  -> (Proxy signat -> a)
  -> a
promoteOffset = promoteSigNat
promoteOffset = promoteSigNat