Kanskje complete. IO ahead.
Renamed back to types.hs