On Thu, Jul 22, 2010 at 3:43 PM, Daniel Fischer <daniel.is.fischer at web.de> wrote: > {-# LANGUAGE ScopedTypeVariables #-} > > bdRangeSize :: forall i. (Ix i, Bounded i) => i -> Int Ah nice, I tried a forall in that position, but I didn't know about ScopedTypeVariables. Thanks! Chad