-- !!! Exporting non-existent type/class module M(T) where x = 'a' -- dummy definition to get round a separate bug