module SomeTypeClass where

class SomeClass a where
  member :: a