:2:1: error: • Kind variable ‘k’ is implicitly bound in data type ‘D1’, but does not appear as the kind of any of its type variables. Perhaps you meant to bind it explicitly somewhere? Type variables with inferred kinds: (k :: *) • In the data type declaration for ‘D1’