diff options
Diffstat (limited to 'stdlib/source/test/lux/abstract/monad.lux')
| -rw-r--r-- | stdlib/source/test/lux/abstract/monad.lux | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/stdlib/source/test/lux/abstract/monad.lux b/stdlib/source/test/lux/abstract/monad.lux index 5cf985999..1cdeab3a6 100644 --- a/stdlib/source/test/lux/abstract/monad.lux +++ b/stdlib/source/test/lux/abstract/monad.lux @@ -15,8 +15,7 @@ [test ["_" property (.only Test)]]]] [\\library - ["[0]" / (.only do) - ["[0]" free]]] + ["[0]" / (.only do)]] ["[0]" / ["[1][0]" free] ["[1][0]" indexed]]) @@ -123,10 +122,6 @@ 0) (is (Identity Nat))))) - /free.test - (_.for [free.monad] - (..spec /free.injection /free.comparison (is (/.Monad (free.Free List)) - (free.monad list.functor)))) - + (/free.test ..spec) /indexed.test )))) |