package main

import (
	"./a"
)

func main() {
	_ = a.OrdOption(a.Given[int]())

}

func Applicative2[A1, A2, R any](fn Func2[A1, A2, R]) ApplicativeFunctor2[Nil, Nil, A1, A2, R] {
	return ApplicativeFunctor2[Nil, Nil, A1, A2, R]{Some(Empty()), Some(fn.Curried())}
}
func OrdOption[T any](m Ord[T]) Ord[Option[T]] {
	return LessFunc[Option[T]](func(t1 Option[T], t2 Option[T]) bool {
		if !t1.IsDefined() && !t2.IsDefined() {
			return false
		}