instance MyClass Int where
  type MyType = Int
  myMethod :: MyType -> Int
  myMethod x = x + 1