Basic unit type:
λ> replTy "()" () :: ()
When connecting to a remote server via SSH it is often convenient to use SSH agent forwarding so that you don't need a separate keypair on that server for connecting to further servers.
This is enabled by adding the
option to any of your
Host entries in
~/.ssh/config (or alternatively with the
-A option). Don't set this option in a wildcard
Host * section since any user on the remote server that can bypass file permissions can now als use keys loaded in your SSH agent. So only use this with hosts you trust.