The following ought to work: ```fsharp [<CreateCatamorphism "MyListCata">] type MyList<'a> = | Nil | Cons of ConsCase<'a> and ConsCase<'a> = { Head : 'a Tail : MyList<'a> } ```