on d82d607 help sign in
7 lines 130 B history raw
1pattern Arrow t1 t2 = App "->" [t1, t2]
2pattern Int =
3 App "Int" []
4pattern Maybe t =
5 App
6 "Maybe"
7 [t]