Initial types and FromJSON instances made