Add type signature to haskell rna