Others have pointed out your first bug. To get floating-point numeric literals you will need to define instances of Num and then Fractional for your symbolic type. On 19 August 2011 21:40, Paul Reiners <paul.reiners at gmail.com> wrote: > *Main> let pi = 3.14 :: MathExpression >