import { Bind, DefineEffect, Effect, Kind1, Print } from '../stdlib'

interface Mathemagic<_A, _B> extends Effect {}

interface PrintK extends Kind1 {
  return: Print<this['input']>
}

export type main = [
  DefineEffect<
    'Mathemagic',
    `(a, b) => {
      console.log(typeToString(a))
      return { result: 5 * b.getLiteralValue() }
    }`
  >,
  Bind<Mathemagic<'a', 69>, PrintK>
]