| ... | @@ -71,6 +71,7 @@ Issues: |
... | @@ -71,6 +71,7 @@ Issues: |
|
|
- `Eq` and `Show` don't make sense for functions under lifting.
|
|
- `Eq` and `Show` don't make sense for functions under lifting.
|
|
|
- `(*)` doesn't make sense for vectors.
|
|
- `(*)` doesn't make sense for vectors.
|
|
|
- `abs` and `signum` don't make sense for `Complex Integer` (Gaussian integers), vectors, matrices, etc.
|
|
- `abs` and `signum` don't make sense for `Complex Integer` (Gaussian integers), vectors, matrices, etc.
|
|
|
|
In general, `abs` and `signum` make it hard to lift `Num` through type constructors.
|
|
|
|
|
|
|
|
|
|
|
|
|
Proposals:
|
|
Proposals:
|
| ... | | ... | |
