Support associated types / associated data types

[endgame]

What does a banned instance for this class look like?

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.