module test Start :: *World -> Int Start w = let (w1, w2) = dup w in 42 dup :: *a -> *(*a, *a) dup a = (a, a)