# | Control.Natural, Control.Object |
$$ | Control.Natural |
:~> | Control.Natural |
Nat | Control.Natural |
Object | |
1 (Type/Class) | Control.Object |
2 (Data Constructor) | Control.Object |
Transformation | Control.Natural |
~> | Control.Natural |
# | Control.Natural, Control.Object |
$$ | Control.Natural |
:~> | Control.Natural |
Nat | Control.Natural |
Object | |
1 (Type/Class) | Control.Object |
2 (Data Constructor) | Control.Object |
Transformation | Control.Natural |
~> | Control.Natural |