Note: development moved to 'typelevel' organization