No warning for unused, un-exported closed type family
When I say this (with -Wall
)
{-# LANGUAGE TypeFamilies #-}
module Bug () where
type family Closed x where
Closed Int = Bool
I get no warning. But Closed
is very much unused. We should warn.