-
Austin Seipp authored
They claimed to work over 'ST RealWorld', when instead they should be parameterized in the state type. This fixes the cgrun070. Signed-off-by: Austin Seipp <austin@well-typed.com>
bb532682
They claimed to work over 'ST RealWorld', when instead they should be
parameterized in the state type. This fixes the cgrun070.
Signed-off-by: Austin Seipp <austin@well-typed.com>