RecordType -> CompositeType towards sum types
use Foldable.sequence_ rather than with elems