module Spec.TypeFamilies.TypeFamilyUsage where import Spec.TypeFamilies.TypeFamilies root :: Family Int root = True