Types formed to value types
encoding specified