# Types

There are two categories of types in dream. `struct` types and `effect` types. These categories
cannot be mixed within type unions.