<div dir="ltr"><div>Hi all!<br><br></div><div>If we define HasResolution and Fixed like that:<br><br></div><div>class HasResolution (a :: k) where<br></div><div>    resolution :: p a -> Integer<br><br></div><div>newtype Fixed (a :: k) = Fixed Integer<br><br></div><div>We can do something like that:<br><br></div><div>instance KnownNat a => HasResolution a where<br>    resolution = natVal<br><br></div><div>2.3 :: Fixed 1<br clear="all"><div><br>-- <br><div class="gmail_signature">Timofeev N.D.<br></div>
</div></div></div>