Graphics.Identicon
data Identicon n
data Consumer n
data a :+ b
data Layer
type family BytesAvailable a :: Nat where ...
type family BytesConsumed a :: Nat where ...
type family Implementation a where ...
type family ToLayer (n :: Nat) :: k where ...
class Renderable a
class ApplyBytes a
renderIdenticon