Description:

    Type that depends on other types to be included.

Problem:

    Does not make much sense on its own.

Solutions:

    - Make dependent types includable.

    or

    - Modify for yourself and use it