*
Currency
QueryStrategies
+
Currency
-
Currency
/
Currency
==#
RoleQueryStrategy
==>
RoleQueryStrategy
|∨|
CurryHowardUnionTypes
¬
CurryHowardUnionTypes
¬|∨|
CurryHowardUnionTypes
¬¬
CurryHowardUnionTypes
∨
CurryHowardUnionTypes