[19:35:20] <wm-bb>	 <mlazowik> https://meta.wikimedia.org/wiki/Abstract_Wikipedia/Function_model#Generic_types I'm a bit confused – what is K1 and K2 doing here?
[19:37:39] <wm-bb>	 <mlazowik> Oh, it's already an instance of the pair
[19:38:05] <wm-bb>	 <mlazowik> I was assuming it was only the definition of the pair