morte-1.5.0: test/src/example0.mt

\(a : *) -> \(x : a) -> x