Documentation
data A #
Instances
data DP A # | |
Instance details |
data TP A # | |
Instance details |
data family TP t :: * #
Instances
data TP A # | |
Instance details |
data family DP t :: * #
Instances
data DP A # | |
Instance details |
data family TO' t :: * #
Instances
data TO' a # | |
Instance details |