WORST_CASE(?,O(n^1)) Solution: --------- "E" :: [] -(0)-> "A"(5) "ErrorElem" :: [] -(0)-> "A"(7) "T" :: ["A"(5) x "A"(0) x "A"(0)] -(5)-> "A"(5) "findMin#1" :: ["A"(5)] -(6)-> "A"(0) "main" :: ["A"(11)] -(11)-> "A"(0) Cost Free Signatures: --------------------- Base Constructors: ------------------ "\"E\"_A" :: [] -(0)-> "A"(1) "\"ErrorElem\"_A" :: [] -(0)-> "A"(1) "\"T\"_A" :: ["A"(1) x "A"(0) x "A"(0)] -(1)-> "A"(1)