Unified function types and type families