Add `Haskell.Data.List` #154

Job	Run time
Test building inside a nix shell	2m 12s
Compile agda2hs with nix (agda2hs)	1m 43s
Typecheck with Agda with nix (agda2hs-lib)	1m 6s
	5m 1s

Provide feedback