Math.NumberTheory.UniqueFactorisation

type family Prime (f :: *) :: *

class UniqueFactorisation a