digraph SeaOfTypes {

    Byte4 [label="[Byte; 4]", fontsize=12, shape=plaintext, color=lightgrey];
    Byte8 [label="[Byte; 8]", fontsize=12, shape=plaintext, color=lightgrey];

    IEEE754single [label="IEEE-754.single", fontsize=12, shape=plaintext, color=lightgrey];
    IEEE754double [label="IEEE-754.double", fontsize=12, shape=plaintext, color=lightgrey];

    Real [label="ℝ", fontsize=28, shape=plaintext];

    Degrees [label="Degrees", fontsize=24, shape=plaintext];
    Turns [label="Turns", fontsize=24, shape=plaintext];

    IEEE754single -> Byte4
    IEEE754double -> Byte8

    Real -> IEEE754single
    Real -> IEEE754double

    Degrees -> Real
    Turns -> Real
}