Using the Subject type family