You could also define a typeclass Intable, and a function (Intable a) => a -> Int, which will work on any type that implements Intable.