dummy = localRecNoSig
  where
    localRecNoSig x = localRecNoSig x
dummy = localRecNoSig
  where
    localRecNoSig x = localRecNoSig x
dummy = localRecNoSig
  where
    localRecNoSig x = localRecNoSig x