Hi all!
If we define HasResolution and Fixed like that:
class HasResolution (a :: k) where
resolution :: p a -> Integer
newtype Fixed (a :: k) = Fixed Integer
We can do something like that:
instance KnownNat a => HasResolution a where
resolution = natVal