[[C]]-like types are types that are more for the satisfaction of the compiler than of data. With C-like types, behavior is not specified, unlike [[Haskell-like types]], and incorrect programs can still be written.