Support associated types / associated data types

What does a banned instance for this class look like?

```haskell
class Foo a where
  type Bar a
  data Baz a
```

For the associated type we can probably use `TypeError`, and something `Void`-alike for the associated data type.