Source for ICRS (WikiPedia).
HList-classic.
Doc typo.
Remove upper limits on deps.