[Haskell-cafe] Trouble with types

[Tomasz Zielonka]

On Fri, Jul 23, 2004 at 07:18:28PM +0300, Kari Pahula wrote:
> 
> temp :: (Real a) => Object (Energy a) (HeatC a) -> Temp a
> temp Object (Energy e) (HeatC c) = Temp e*c

Probably this, but I didn't check:

  temp (Object (Energy e) (HeatC c)) = Temp e*c

Best regards,
Tom

-- 
.signature: Too many levels of symbolic links