Distributed dataTypes from Types.hs in a (hopefully) better way.