j
k
j a
j l
On Jan 6, 2020, at 12:05, Alexis King wrote: type family F a b where F a b = () -- regular (), not (() :: Constraint)
On Jan 6, 2020, at 12:05, Alexis King wrote:
type family F a b where F a b = () -- regular (), not (() :: Constraint)
(Err, sorry, this should be `F a a = ()`. But I think you can understand what I’m getting at.)
Back to the thread
Back to the list
