digraph SeaOfTypes {

    Byte4 [label="[Byte; 4]", fontsize=24, shape=plaintext];
    IEEE754single [label="IEEE-754.single", fontsize=24, shape=plaintext];
    IEEE754single -> Byte4
}