OverlappingInstances拡張を使って、instance F a