cut $k__151
constant Prop : (func(0, [GHC.Types.Bool; bool]))