j
k
j a
j l
Hi Ozgur - try data Binary' = forall a b. Binary' a b
Back to the thread
Back to the list