disco-0.1.0.0: test/types-tydef-param/input

:load test/types-tydef-param/types-tydef-param.disco
t
sumTree t
alt1
sumAltList alt1
:def Maybe
:def Tree
:def AltList