module TClass where


class Foo a where
  foo :: a -> Int