-- | Gets the sample rate stored in the audio expression's type.
sampleRate :: (KnownNat r) => Audio r c -> Integer
sampleRate = natVal . (undefined :: Audio r c -> Proxy r)
sampleRate :: (KnownNat r) => Audio r c -> Integer
sampleRate = natVal . (undefined :: Audio r c -> Proxy r)
sampleRate = natVal . (undefined :: Audio r c -> Proxy r)