purescript-0.15.15: tests/purs/passing/SolvingMulInt.purs

module Main where

import Effect.Console (log)
import Prim.Int (class Mul)

data Proxy k = Proxy

a :: forall n. Mul 4 4 n => Proxy n
a = Proxy

a' :: Proxy 16
a' = a

main = log "Done"