resolvable :: (Dependant id a, Eq id) => [a] -> a -> Bool
resolvable xs x = all (`elem` map identifier xs) (dependencies x)
resolvable :: (Dependant id a, Eq id) => [a] -> a -> Bool
resolvable xs x = all (`elem` map identifier xs) (dependencies x)
resolvable xs x = all (`elem` map identifier xs) (dependencies x)