-
Austin Seipp authored
These were proposed a while ago but never went anywhere. Authored-by: Edward Kmett <ekmett@gmail.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
5e16d00e
These were proposed a while ago but never went anywhere. Authored-by: Edward Kmett <ekmett@gmail.com> Signed-off-by: Austin Seipp <austin@well-typed.com>