-
John van Groningen authored
fix substitution of universally quantified uniqueness attributes in function determineTypeOfMemberInstance, to prevent compiler crash for: :: T m a = T (m (a, a)) derive bimap T, (,)
51f72255
fix substitution of universally quantified uniqueness attributes in function determineTypeOfMemberInstance, to prevent compiler crash for: :: T m a = T (m (a, a)) derive bimap T, (,)