test/Spec/TypeFamilies/TypeFamilies.hs:9: (Type Family Instance) :: Family Bool