Audit the type constructors. Previously it was possible to create [0 x void]