rewrite +soft to use +mule
::
++ head |*(^ ,:+<-) :: get head
++ same |*(* +<) :: identity
-++ soft :: maybe remold
- |* han/$-(* *)
- |= fud/* ^- (unit han)
- =+ gol=(han fud)
- ?.(=(gol fud) ~ [~ gol])
::
++ tail |*(^ ,:+<+) :: get tail
++ test |=(^ =(+<- +<+)) :: equality
$2 [%| p.ton]
==
::
+++ soft :: maybe remold
+ |* han/$-(* *)
+ |= fud/* ^- (unit han)
+ =+ result=(mule |.((han fud)))
+ ?- -.result
+ %| ~
+ %& [~ p.result]
+ ==
+::
:::: 4o: molds and mold builders
::
+$ abel typo :: original sin: type
