¿Cuál es el significado de "let x = x in x" y "data Float #" en GHC.Prim en Haskell

¿Qué significa * (estrella) u otros tipos en una lista de instancias de eglefino

Navegando por los abadejos de varios paquetes, a menudo me encuentro con documentaciones de instancias que se ven así (Control.Categoría [https://hackage.haskell.org/package/base-4.9.0.0/docs/Control-Category.html]): Category k (Coercion k) ...