Хехе.

[thesz]

mkJ :: forall c op0 op1 a_0 . op0 c -> op1 c (Mb a_0)
mkJ = error "making J a_0"Весьма горячие типы получаются!

(доделывая конструирование значений алгебраических типов перед сравнением с образцом)