_interface_ Rn017 1
_exports_
Rn017 a b c Wibble(MkWibble) Wobble ;
_declarations_
1 data Wibble = MkWibble Wobble ;
1 data Wobble ;
1 a _:_ Int -> Int ;;
1 b _:_ Int -> Int ;;
1 c _:_ Int -> Int ;;