Required context for class members and generics
The required context from #119 (closed) is not shown for class members or generics themselves. So, for instance, the result
+ :: a a -> a does not show the required
instance + Int when searching for
:: Int Int -> Int.
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information