A recursive data type allows a (mostly) elegant description of tensors
Adapting the behaviour of Haskell's package manager for multi-user systems