datatype card = Card of int*int fun madeCard("klover",n:int)=if n>1 andalso n<15 then SOME Card(1,n)else NONE SOME Card(1,n) ! Type clash: expression of type ! (int * int -> card) option ! cannot have type ! 'a -> 'b